Re: Re: First-class environments
Matthias Felleisen <[email protected]>
| Newsgroups | gmane.comp.lang.lightweight |
|---|---|
| Message-ID | <[email protected]> |
Where is eval in env in these calculi? -- Matthias On Apr 6, 2006, at 3:27 PM, Neelakantan Krishnaswami wrote: > Chung-chieh Shan writes: >> >> Surely people have tried to deal with this problem by applying >> static typing to environments, perhaps along the lines of record >> typing, which would be analogous of keeping track of the typing >> environment in a typical programming language? > > The explicit substitution calculi do exactly this, don't they? > > -- > Neel Krishnaswami > [email protected] >