[Haskell-cafe] Re: [Haskell] View patterns in GHC: Request?for?feedback

[Jon Fairbairn]

ChrisK <haskell at list.mightyreason.com> 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                                 Jon.Fairbairn at cl.cam.ac.uk