tag:blogger.com,1999:blog-10770855.post113003996323474389..comments2024-03-28T03:20:57.393-04:00Comments on The Little Calculist: Language that represent themselvesDave Hermanhttp://www.blogger.com/profile/00405190527081772997noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-10770855.post-1130422923486394202005-10-27T10:22:00.000-04:002005-10-27T10:22:00.000-04:00Definitions are strange beasts because they have a...Definitions are strange beasts because they have a linear/block structure rather then the tree structure of expressions. Bindings introduced by a definition are in scope for the rest of the definition's containing block.<BR/><BR/>Internal definitions are the reason for a subtle complexity in the marking logic of the syntax-case hygiene algorithm (the "toggling" mechanism).<BR/><BR/>They can apparently be used to generate bizarre mutual recursions between the parsing and expansion algorithms that expose the internal order of expansion of the underlying macro system.Dave Hermanhttps://www.blogger.com/profile/00405190527081772997noreply@blogger.comtag:blogger.com,1999:blog-10770855.post-1130422545620634472005-10-27T10:15:00.000-04:002005-10-27T10:15:00.000-04:00For example?For example?Anonymousnoreply@blogger.com