ChrisK <[EMAIL PROTECTED]> writes:
> And the readability is destroyed because you cannot do any type inference in
> your head.
>
> If you see
>
> {
> Matrix m = ....;
> Matrix x = m * y;
> ...;
> }
>
> Then you know very little about the possible types of y
> since can only conclude that:
[snippage] This is all very horrid, but as far as I can tell
what I was proposing wouldn't lead to such a mess, except
possibly via defaulting, which, as the least important
aspect of the idea could easily be abandoned.
--
Jón Fairbairn [EMAIL PROTECTED]
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
