LEAP: A Language with Eval And Polymorphism
LEAP: A Language with Eval And Polymorphism
复制标题
LEAP：一种具有 Eval 和多态性的语言
DOI：
--
复制
发表时间：
1989
期刊：
影响因子：
--
通讯作者：
Peter Lee
中科院分区：
文献类型：
--
作者：
F. Pfenning;Peter Lee
我们描述了一种新的强类型函数式编程语言LEAP的核心，LEAP是一种“具有Eval和Polymorphism的语言”。Pure LEAP是ω阶多态λ演算（F ω）的扩展，通过全局定义，它允许程序的表示和对所有（F ω）的reify， reflect和eval的版本的定义。因此，Pure LEAP具有高度自反性和强类型。我们相信Pure LEAP可以在ML传统中扩展为实用高效的元语言。目前，我们正在试验Pure LEAP的原型实现。
We describe the core of a new strongly-typed functional programming language called LEAP, a “Language with Eval And Polymorphism.” Pure LEAP is an extension of the ω-order polymorphic λ-calculus (F ω) by global definitions that allows the representation of programs and the definition of versions of reify, reflect, and eval for all of (F ω). Pure LEAP is therefore highly reflexive and strongly typed. We believe that Pure LEAP can be extended to a practical and efficient metalanguage in the ML tradition. At present we are experimenting with a prototype implementation of Pure LEAP.