Unifying Compile-Time and Run-Time Evaluation

具有高阶函数的编程语言（如ML或scheme）具有灵活的抽象机制，但在这些语言的实现中，抽象几乎总是在运行时进行评估。这个项目研究了一种使用相同的抽象机制（高阶函数）来实现编译时和运行时抽象的方法，它的优点是程序员只需要使用一种方法；更重要的是，程序员不再需要经常决定是在编译时求值还是在运行时求值。

Programming languages with higher-order functions (like ML or scheme) have a flexible abstraction mechanism, but in the implementation of these languages the abstraction is almost always evaluated at runtime. This project examines a way to use the same abstraction mechanism (higher-order functions) for both compile-time and runtime abstraction This has the advantage that the programmer needs to use only one method; more importantly, the programmer no longer needs to constantly decide whether phrases are to be evaluated at compile-time or runtime.