……为什么会有人选择在 bare-metal（裸机）上实现 lambda calculus？你说这是“恋物癖”，我觉得这叫好玩！往大点说，我只是非常喜欢拥有一台带有用户可写 ISA（指令集架构）的机器。[1] Theory of Recursive Functions and Effective Computability: https://openlibrary.org/books/OL2738948M/Theory_of_recursive... [2] Introduction to Lambda Calculus: https://www.cse.chalmers.se/research/group/logic/TypesSS05/E...
…would someone choose to implement the lambda calculus on bare-metal? You call it "fetishism," I call it fun! More generally, I just really like the idea of having a machine with a user-writable ISA. [1] Theory of Recursive Functions and Effective Computability: https://openlibrary.org/books/OL2738948M/Theory_of_recursive... [2] Introduction to Lambda Calculus: https://www.cse.chalmers.se/research/group/logic/TypesSS05/E...
Rogers 的《Theory of Recursive Functions and Effective Computability》，第 1 页，强调部分为作者原话：§ 1.1 算法的非正式概念 本章中我们给出了递归函数的形式化（即数学上精确的）表征。这个概念是基础……
Rogers "Theory of Recursive Functions and Effective Computability", page 1, emphasis is the author's: § 1.1 The informal notion of algorithm In this chapter we give a formal (i.e., mathematically exact) characterization of recursive function. The concept is basic…
Hartley Rogers 写的《Theory of Recursive Functions and Effective Computability》非常出色。
"Theory of Recursive Functions and Effective Computability" by Hartley Rogers is excellent.
……为什么会有人选择在 bare-metal（裸机）上实现 lambda calculus？你说这是“恋物癖”，我觉得这叫好玩！往大点说，我只是非常喜欢拥有一台带有用户可写 ISA（指令集架构）的机器。[1] Theory of Recursive Functions and Effective Computability: https://openlibrary.org/books/OL2738948M/Theory_of_recursive... [2] Introduction to Lambda Calculus: https://www.cse.chalmers.se/research/group/logic/TypesSS05/E...
…would someone choose to implement the lambda calculus on bare-metal? You call it "fetishism," I call it fun! More generally, I just really like the idea of having a machine with a user-writable ISA. [1] Theory of Recursive Functions and Effective Computability: https://openlibrary.org/books/OL2738948M/Theory_of_recursive... [2] Introduction to Lambda Calculus: https://www.cse.chalmers.se/research/group/logic/TypesSS05/E...
Rogers 的《Theory of Recursive Functions and Effective Computability》，第 1 页，强调部分为作者原话：§ 1.1 算法的非正式概念 本章中我们给出了递归函数的形式化（即数学上精确的）表征。这个概念是基础……
Rogers "Theory of Recursive Functions and Effective Computability", page 1, emphasis is the author's: § 1.1 The informal notion of algorithm In this chapter we give a formal (i.e., mathematically exact) characterization of recursive function. The concept is basic…