[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Eval

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