Re: Eval

["Krishnaswami, Neel" <address@hidden>]

Lauri Alanko [mailto:la@iki.fi] wrote:
> 
> I'd guess that static typing of eval (and first-class environments)
> would require dependent types of some sort. Is anyone aware 
> of languages that do this? Or even of just basic research on the 
> subject?

The research language Cayenne is kind of like Haskell + dependent 
types, and Lennart Augustsson used it to write a paper on how to write
a dependently typed interpreter. 

See: http://www.cs.chalmers.se/~augustss/cayenne/


--
Neel Krishnaswami
neelk@cswcasa.com