What Is a Pure Functional?
What Is a Pure Functional?
复制标题
什么是纯函数？
DOI：
10.1007/978-3-642-14162-1_17
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Helmut Seidl
中科院分区：
文献类型：
--
作者：
Martin Hofmann;Aleksandr Karbyshev;Helmut Seidl
给定一个ML函数f：（int->int）->int，我们如何严格地指定f是纯的，即，除了调用其函数参数所产生的副作用外，不会产生其他副作用？我们表明，现有的方法的基础上保存的不变量和关系parametricity是不够的，因此定义了一个新的概念，捕捉纯度的意义上说，任何functionalF是纯在这个意义上存在一个相应的问答策略。这项研究的动机是试图证明算法的正确性，这种所谓的纯泛函作为输入，并将它们应用到有状态的参数，以检查其行为的内涵方面。
Given an ML function f : (int->int)->int how can we rigorously specify that f is pure, i.e., produces no side-effects other than those arising from calling its functional argument? We show that existing methods based on preservation of invariants and relational parametricity are insufficient for this purpose and thus define a new notion that captures purity in the sense that for any functionalFthat is pure in this sense there exists a corresponding question-answer strategy. This research is motivated by an attempt to prove algorithms correct that take such supposedly pure functionals as input and apply them to stateful arguments in order to inspect intensional aspects of their behaviour.
登录
查看更多内容
一般方程组的更快求解器
影响因子：
1.3
作者：
Christian Fecht;H. Seidl
通讯作者：
H. Seidl
线性、共享和状态：具有主动表达式的理想化 Algol 的完全抽象游戏语义
DOI：
--
发表时间：
1996
期刊：
Linear Logic Tokyo Meeting
影响因子：
--
作者：
S. Abramsky;G. McCusker
通讯作者：
G. McCusker
使用需求分析和混沌迭代在有限函数空间中查找不动点
DOI：
10.1007/3-540-58485-4_50
发表时间：
1994
期刊：
Nord. J. Comput.
影响因子：
--
作者：
Niels Jørgensen
通讯作者：
Niels Jørgensen
检查纯方法规范的格式良好性
DOI：
10.1007/978-3-540-68237-0_7
发表时间：
2008
期刊：
J. Object Technol.
影响因子：
--
作者：
A. Rudich;Ádám Darvas;Peter Müller
通讯作者：
Peter Müller
什么时候函数式程序不是函数式程序？
DOI：
--
发表时间：
1999
期刊：
ACM SIGPLAN International Conference on Functional Programming
影响因子：
--
作者：
J. Longley
通讯作者：
J. Longley