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