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

Jon Fairbairn jon.fairbairn at cl.cam.ac.uk
Mon Jul 30 06:47:46 EDT 2007

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

More information about the Haskell-Cafe mailing list