为什么有了 递归, select-case, 约定数据结构(数组) 就可以证明图灵完备？ 另为什么递归如此重要？

知乎链接

其实你会发现，递归、select-case（如果你说的是我理解的那个意思）、约定的数据结构（数组）等等这些东西都不需要，只要一个Lambda calculus就够了。