[Haskell-cafe] Comparison Haskell, Java, C and LISP

Brent Yorgey byorgey at seas.upenn.edu
Wed Oct 19 17:24:00 CEST 2011

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 at 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.


More information about the Haskell-Cafe mailing list