如何做到正确、惰性与高效？
编程语言
2007-07-26 v1
摘要
本文是对 Lambdix 的介绍，这是一个在巴黎第十一大学计算机研究实验室（Laboratoire de Recherche en Informatique, Orsay）实现的惰性 Lisp 解释器。Lambdix 是在研究编程语言语义与其实现之间关系的过程中设计的；它被用来证明在 Lisp 领域，语义正确性与效率是一致的，这与通常的断言相反。论文的第一部分概述了 Lisp 面临的众所周知的语义困难，并非正式地介绍了 Lambdix；文中表明，Lisp 遇到的困难在 Lambdix 中并未出现。第二部分讨论了实现模型中的效率问题。它解释了为什么 Lambdix 比以前的模型更适合惰性求值。该节最后给出了执行时间的比较表。
引用
@article{arxiv.0707.3807,
title = {How to be correct, lazy and efficient ?},
author = {Catherine Recanati},
journal= {arXiv preprint arXiv:0707.3807},
year = {2007}
}
评论
21 pages