Hi Marc
Thanks for giving it a go!
On 4 Jul 2007, at 17:33, Marc A. Ziegert wrote:
exercise done. :D
there is still a problem with the functional dependencies. see last
line of code.
- marc
Looks like a good start. Quite different from the way I did it. I can
assure you that it's possible to be less explicit about the types of
the pieces. You might think about computing a typed context for the
holes, rather than just counting them.
I should add that my solution is here, if/when you feel like looking:
http://www.e-pig.org/idle/ctm/Emmental.lhs
I'm still fiddling with it in odd moments, hoping for something
neater. I don't like the explicit P, or the explicit :$. I have
another slightly clunky, non-nesting version which works like idiom
brackets
hH elem O (P "aeiou") Hh 'x' = False
but I don't really like it much. The connection with idiom brackets
isn't an accident, but that's another story.
All the best
Conor
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
