[Haskell] Views in Haskell

Simon Peyton-Jones simonpj at microsoft.com
Tue Jan 23 04:09:07 EST 2007

[Redirecting to haskell-prime]

| In the related work, the "Active Patterns" proposal by Palao et at is missing:
| http://portal.acm.org/citation.cfm?id=232641&coll=portal&dl=ACM
| I thought this work should be included in the list because, I believe,
| they were the first to point out that computation should take place
| before matching, which was not the case in Wadler's and Burton's
| proposals?  They also proposed  types for patterns.

Good point. I've added them.  I think the Wadler/Burton stuff did allow for arbitrary computation; it's just that there was no way to do the value-input thing.  (Pattern synonyms, on the other hand, do not.)


More information about the Haskell-prime mailing list