Free Variable as Effect, in Practice
CoRR(2023)
摘要
Variable environment is the time-honored way of making sense of free
variables, used in programming language theory as well when writing
interpreters and some compilers. Algebraic effects give another way, as was
pointed already at HOPE 2017. Although a theoretical curiosity, it may have
surprising practical benefits: a new way of writing compilers, with the
incremental type-checking, with easy variable usage, leaf function analyses.
This work-in-progress report prototypes and illustrates the idea.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要