Re: Announcing Djinn, version 2004-12-11, a coding wizard
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 http://www.haskell.org/pipermail/haskell/2005-March/015423.html ``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.''
Very cool! :) oleg@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 http://www.haskell.org/pipermail/haskell/2005-March/015423.html
``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.''
participants (2)
-
Lennart Augustsson -
oleg＠pobox.com