论文提出用指称解释器统一动态语义与静态分析，通过记录程序执行轨迹同时支持求值和分析，可切换急切或惰性求值，并生成类型检查、变量使用分析等。共享结构简化了可靠性证明，尤其利于惰性求值，从而提升效率与可扩展性，有助于构建兼具优化和查错的编译器工具。