真的是最低限度

Cha*_* Xu 7 lisp turing-complete

什么是所需的最小原语集,以便语言是图灵完整的和lisp变体?

看起来像汽车,cdr和一些流量控制和REPL的东西就足够了.如果有这样的清单那就好了.

假设只有3种类型的数据,整数,符号和列表.(如在picolisp中)

Mic*_*hue 12

演算是图灵完备.它有一个原始 - lambda.将其转换为lisp语法非常简单.

  • 实际上它有“三个”原语:lambda 表达式、函数调用和变量引用。 (2认同)

ire*_*ses 6

Lisp FAQ中有一个很好的讨论.这取决于你选择的原语.麦卡锡最初的"LISP 1.5程序员手册"有五个功能:CAR,CDR,CONS,EQ和ATOM.

  • 阅读说的FAQ,似乎他使用了这五个函数以及特殊形式CONS,LAMBDA和QUOTE. (2认同)

Nic*_*kis 5

我认为最小的设定是John McCarthy在原始论文中发表的.

Lisp的根源.

代码.