[Haskell-cafe] mapping a concept to a type

Ben Doyle benjamin.peter.doyle at gmail.com
Sat May 19 00:02:24 CEST 2012

I wonder if you want a typeclass here, rather than a type? A Normal Rule is
pretty much a State Transformer, while a Meta Rule seems like a
higher-order function on Normal Rules[*]. These are different kinds of
things --- and I say "kind" advisedly --- so perhaps better to define the
specific commonalities you need than to try to shoehorn them both into one

[*]: Possibly related question: Can a Meta Rule depend upon an
implementation detail of a Normal rule? In other words, does
   rule1 g == rule2 g
   myMetaRule rule1 == myMetaRule rule2

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120518/0980c178/attachment.htm>

More information about the Haskell-Cafe mailing list