Haskell中求值的单调性
让Haskell中求值的单调性,haskell,types,type-theory,Haskell,Types,Type Theory,让因为未定义因为未定义你在读什么书?@WillemVanOnsem我的大学陈述式编程老师用西班牙语写的一些笔记我怀疑你的老师指的是单调性,这与其说是编辑性的,不如说是单调性的@BenjaminHodgson ups,现在修好了!你在读什么书?@WillemVanOnsem我的大学陈述性编程老师用西班牙语写的一些笔记我想你的老师指的是单调性,这与其说是编辑性的,不如说是单调性的@BenjaminHodgson ups,现在修好了!这本书对我来说很有用,但我想强调的是,我正在寻找日常编程中的实际例子
因为未定义因为未定义你在读什么书?@WillemVanOnsem我的大学陈述式编程老师用西班牙语写的一些笔记我怀疑你的老师指的是单调性,这与其说是编辑性的,不如说是单调性的@BenjaminHodgson ups,现在修好了!你在读什么书?@WillemVanOnsem我的大学陈述性编程老师用西班牙语写的一些笔记我想你的老师指的是单调性,这与其说是编辑性的,不如说是单调性的@BenjaminHodgson ups,现在修好了!这本书对我来说很有用,但我想强调的是,我正在寻找日常编程中的实际例子;它只是一个帮助描述代码底层语义的概念。实际上,您希望尽可能避免未定义的。@Jsevillamol它没有频繁的应用程序。也许一个小问题是:在测试length[undefined,undefined]==2
之后,没有必要也测试length[1,2]==2
和length[4,-4]==2
等,因为它们必须是单调的==2
。如果第一个测试通过,另一个测试必须具有相同的结果。它更多的是一种对代码进行推理(例如,证明代码属性)的技术,而不是用于实际编程。这对我来说很有用,但我想强调的是,我正在寻找日常编程中的实际示例。这不是一种你积极使用的技术;它只是一个帮助描述代码底层语义的概念。实际上,您希望尽可能避免未定义的。@Jsevillamol它没有频繁的应用程序。也许一个小问题是:在测试length[undefined,undefined]==2
之后,没有必要也测试length[1,2]==2
和length[4,-4]==2
等,因为它们必须是单调的==2
。如果第一个测试通过,另一个测试必须具有相同的结果。它更多的是一种对代码进行推理(例如,证明代码的属性)的技术,而不是用于实际编程。
g undefined
<= g (undefined, undefined)
<= g (undefined, 2)
<= g (3, 2)