[Haskell-cafe] Re: Announcing Djinn, version 2004-12-11, a coding wizard

oleg at pobox.com oleg at pobox.com
Thu Dec 15 02:53:29 EST 2005

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 mailing list