[Haskell-cafe] Haskell's "partial application" (not currying!) versus Business Objects Gem Cutter's "burning"

[Conor McBride]

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