[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.) Simon _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime
