Re: First-class environments
Chung-chieh Shan <[email protected]>
| Newsgroups | gmane.comp.lang.lightweight |
|---|---|
| Message-ID | <[email protected]> |
Joe Marshall <[email protected]> wrote in article <[email protected]> in gmane.comp.lang.lightweight: > First-class environments essentially make it impossible to reason > about variable values and locations. 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? -- Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig WHY IS OLEG KISELYOV SO GOOD?!?!?! THE MIND BOGGLES...