假设我定义了一些原语,这里使用javascript:
const TRUE = x => y => x;
const FALSE = x => y => y;
const ZERO = f => a => a;
const ONE = f => a => f(a);
const TWO = f => a => f(f(a));
如果一种语言是纯粹的功能,它将如何将这些原语转化为物理的东西?例如,通常我会看到一些类似于非纯函数的函数,例如:
const TWO = f => a => f(f(a));
const inc