Practical typed lazy contracts
Practical typed lazy contracts
复制标题
实用的类型化惰性合约
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
O. Chitil
中科院分区：
文献类型：
--
作者：
O. Chitil
到目前为止，还不支持在惰性函数程序中指定和执行契约。这是一种耻辱，因为合约由超出标准静态类型的函数的前置条件和后置条件组成。本文介绍了 Haskell 的一个小型、易于使用、纯功能性合约库的设计和实现，当合约被违反时，它还提供比传统的指责一个合约伙伴更有用的信息。从现在开始，惰性函数式语言可以从合约提供的正确程序开发保证中受益。
Until now there has been no support for specifying and enforcing contracts within a lazy functional program. That is a shame, because contracts consist of pre- and post-conditions for functions that go beyond the standard static types. This paper presents the design and implementation of a small, easy-to-use, purely functional contract library for Haskell, which, when a contract is violated, also provides more useful information than the classical blaming of one contract partner. From now on lazy functional languages can profit from the assurances in the development of correct programs that contracts provide.