ADT views Re: [Haskell] Views in Haskell

J. Garrett Morris trevion at gmail.com
Wed Jan 31 17:36:33 EST 2007


On 1/31/07, Bulat Ziganshin <bulat.ziganshin at gmail.com> wrote:
<snip>
> i hope that now my idea is clear

Yes - you've reiterated Wadler's original design, with an automatic
creation of a type class.  Erwig and Peyton-Jones, _Pattern Guards and
Transformational Patterns_
(http://research.microsoft.com/~simonpj/Papers/pat.htm) mentions
problems with equational reasoning raised by this approach.

 /g

-- 
It is myself I have never met, whose face is pasted on the underside of my mind.


More information about the Haskell-prime mailing list