On Tue, Oct 18, 2011 at 08:18:17PM +0200, Nicu Ionita wrote:
Am 18.10.2011 18:53, schrieb Stephen Tetley:
Haskell has no support for reflection whatsoever.
It can support compile time meta-programming with Template Haskell.
Reflection itself might be antagonistic to functional programming, I suspect it is at odds with referential transparency. Most of the work on reflection seemed based around Lisp / Scheme - Christian Queinnec's reflective interpreter in Lisp in Small Pieces uses an awful lot of set! ....
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
But is (delimited) continuation not a kind of reflection?
Perhaps, if a language has built-in intrinsic support for capturing continuations (as does, say, Racket). However, Haskell has no such support. Continuations in Haskell are "simulated" within a special monad; there is no real reflection going on at all. -Brent