On 28-Jul-1998, Dominic Duggan [EMAIL PROTECTED] wrote:
There is no difference between
f = let m1 = Mt [[0]] :: Matrix Int in mm m1 m1 m1
and
f = (m1 * m1) :: Matrix Int
aside from the convoluted way of providing the type annotation
Agreed.
(and the need in the former
To my letter on Haskell-2 with
Remark and question on the ambiguity problem
... "...Exploration of Design Space."
... first argument approach *is practicable* ...
Dominic Duggan [EMAIL PROTECTED]
writes
Matrix multiplication: * :: Matrix a - Matrix b - Matrix c
does not satisfy the
There is no difference between
f = let m1 = Mt [[0]] :: Matrix Int in mm m1 m1 m1
and
f = (m1 * m1) :: Matrix Int
aside from the convoluted way of providing the type annotation
(and the need in the former case to provide a sample value of the
intended result type, not a very easy
