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

ChrisK 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@cl.cam.ac.uk