Hygienic Source-Code Generation Using Functors
Existing source-code-generating tools such as Lex and Yacc suffer from practical inconveniences because they use disembodied code to implement actions. To prevent this problem, such tools could generate closed functors that are then instantiated by the programmer with appropriate action code. This results in all code being type checked in its appropriate context, and it assists the type checker in localizing errors correctly. We have implemented a lexer generator and parser generator based on this technique for both Standard ML and Haskell.
Tue 9 JanDisplayed time zone: Tijuana, Baja California change
10:30 - 12:00
|Hygienic Source-Code Generation Using Functors|
A: Karl Crary Carnegie Mellon University
|Snaarkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell|
|Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs|