lambda的计算机制应该是藏在它的替换原则里面,我觉得把函数的概念丢到一边,应该对他的形式结构进行分析。我现在不觉得它有逻辑在里面了。我觉得他有一种新逻辑在里面,一种人类最原始的认知逻辑。
暂时叫它”堆数逻辑”。备忘。
lambda的计算机制应该是藏在它的替换原则里面,我觉得把函数的概念丢到一边,应该对他的形式结构进行分析。我现在不觉得它有逻辑在里面了。我觉得他有一种新逻辑在里面,一种人类最原始的认知逻辑。
暂时叫它”堆数逻辑”。备忘。
转载于:https://my.oschina.net/digerl/blog/215572