[Haskell-cafe] Re: Announcing Djinn, version 2004-12-11,
a coding wizard
lennart at augustsson.net
Thu Dec 15 06:45:41 EST 2005
Very cool! :)
oleg at pobox.com wrote:
> Stefan Monnier wrote:
>>I expected at first you were doing some funky type class molestation
>>so you can use "djinn" in your code and let Haskell fill it in.
> That has already been done:
> De-typechecker: converting from a type to a term
> ``We ask the Haskell typechecker to derive us a function of the
> specified type. We get the real function, which we can then apply to
> various arguments. ... Informally, we converted from `undefined' to defined.
> It must be emphasized that no modifications to the Haskell compiler are
> needed, and no external programs are relied upon. In particular,
> however surprising it may seem, we get by without `eval' -- because
> Haskell has reflexive facilities already built-in.''
More information about the Haskell-Cafe