[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Lauri Alanko [mailto:email@example.com] 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
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.