Questions tagged «function»

1
具有规范功能的编程语言
是否有所有功能都具有规范形式的(功能?)编程语言?也就是说,为所有输入集返回相同值的任何两个函数都以相同的方式表示,例如,如果f(x)返回x + 1,而g(x)返回x + 2,则f(f(x ))和g(x)在编译程序时将生成无法区分的可执行文件。 也许更重要的是,我在哪里/如何找到有关程序规范表示的更多信息(谷歌搜索“规范表示程序”效果不佳)?这似乎是一个很自然的问题,而且恐怕我只是不知道我要寻找的正确术语。我很好奇这种语言是否有可能成为图灵​​完整的语言,如果不能,那么在保持这种属性的同时,您可以拥有多么丰富的编程语言。 我的背景非常有限,因此我希望先决条件较少的资源,但是对更高级资源的引用也可能很酷,因为这样我就知道我要努力争取什么。

1
为什么Schönfinkel致力于消除逻辑中的“绑定变量”如此重要?
AFAIK,使用高阶函数的第一个证据可以追溯到Schönfinkel在1924年发表的论文:“论数学逻辑的基础” –他允许一个将函数作为参数传递给其他函数。 这似乎很有趣。但是,我一直在阅读的有关他的作品的所有内容(以及扩展的Curry)似乎都暗示着某种形式的另一种事物:[高阶函数] ...这消除了对绑定变量的需要... 我没办法把头缠住-有什么大不了的?为什么当时的逻辑学家和数学家对此很关心?作为理论家,我们今天是否在乎这一点?为什么要摆脱绑定变量是“突破性的”,以及它对我们(我们知道的)理论上(或理论上)产生了什么影响? PS:我知道他的工作是如何为微积分铺平道路的,以及“它”对总体计算和函数编程的影响。我的问题主要针对的是λ微积分创建之前和Schönfinkel论文发表之后的时间。库里(Curry)独立承担起那项工作的事实(后来被称为“组合逻辑”)也暗示了舍芬克尔工作的重要性。λλ\lambdaλλ\lambda

By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.