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 > >[email protected] > >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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
