Guessing the implementation of combinators
Posted on May 16, 2012
I completed Oleg’s de-typechecker and put it on hackage as Guess.Combinator
.
http://hackage.haskell.org/packages/archive/guess-combinator/0.1.1/doc/html/Guess-Combinator.html
The original article had left part of the code as an exercise for the reader. Completing it on your own would be great practice for learning type-level programming.
http://www.haskell.org/pipermail/haskell/2005-March/015423.html
How is this useful? Take the $-
operator for example.
http://www.atnnn.com/p/haskell-nameless-parameters/
It can now be written as
$-) ∷ (d → a → e) → (e → k) → d → a → k
($-) = combinator (
Haskell is magic!