我搞不懂为什么我的函数nest用自己的n时间组成了fnest f n = f . nest f (n - 1)
永不终止。我本以为当n变为零时，它会“模式匹配”。
浏览 9提问于2019-11-18得票数 8
回答已采纳
1回答
是否有函数语言可以在打字机中指定某一计算是否保证终止？或者，你能在Haskell做这件事吗？关于Haskell，在中，海报上说
正确的Agda程序是通过类型检查和终止检查的程序。也就是说，所有Agda程序都将终止，而Agda中的Bo
浏览 3提问于2013-10-18得票数 7
回答已采纳
我正在阅读关于Haskell指示性语义()的文章，我不明白为什么在类型中，底部的“值”与“正常”值相比被放在另一个级别，例如为什么它不能被模式匹配。我认为模式修补bottom会带来麻烦，因为bottom也表示非终止计算，但为什么非终止计算和错误应该被同等对待？(我假设使用不支持的参数调用分部函数会被认为是错误的)。如果所有Haskell类型都包含模式匹配的Java-null-like值而不是bottom，那么会丢失哪些有用的属性？换句
浏览 3提问于2013-02-04得票数 6
回答已采纳
我想知道，两个Haskell函数是相等的，也考虑到执行导致错误或根本不终止的情况。示例(这些函数都以一个函数和一个对作为参数，将该函数应用于该对的两个成员，如果它们的结果相同，则返回True，否则返回False)：tupleEqual f = (\(x,y) -> f x == f y)
我
浏览 0提问于2019-11-24得票数 0
在Hask范畴中，对象是Haskell类型，Morphism是Haskell函数。值在Hask中不起作用。
从Haskell id函数返回的值必须与传入的参数的值相同。如果恒等态射在范畴理论中被定义为从对象A返回到同一对象A的箭头，那么f :: A -> A类型的任意一个Haskell</e
浏览 7提问于2015-06-29得票数 5
回答已采纳
2回答
让我们假设我们在另一个函数中调用Haskell中的这个函数我想知道在这种情况下会发生什么，如果fHalt是单调的。对我来说，有两个可能的答案：
Haskell对预定义的操作符使用严格的评估--也就是(+)。如果现在使用BOT对fHalt进行评估，我的猜测是必须首先评估BOT+1 (导致BOT)，因此总体评估不会终止，也会导致BOT。如果Haskell以某种方式确定内部(x+1)没有<em
浏览 5提问于2014-08-13得票数 0
回答已采纳
1回答
最小或足够小
、、
我正在为简单的棋盘游戏编写Haskell求解器。我有这个函数：bestMove brd = minimumBy (comparing $ length.choices brd) (remainingbrd)换句话说，我想要一个函数，它能返回足够小的最小或第一个遇到的元素(
浏览 0提问于2013-04-16得票数 4
回答已采纳
4回答
因此，这是行不通的：因为它需要在“取”的第二个参数中插入。我的问题是为什么。> a1 -> [a1]'1) haskell似乎首先尝试在迭代函数之前解析取50函数。为什么haskell要这么做？当在数学中，如果你有f，t，w，u(x)，你首先评估u (x)，然后再做其他事情。为什么在这种情况下，haskell从计算f开始？2) <
浏览 2提问于2014-05-08得票数 2
回答已采纳
各种递归方案归结为refold的特定实例化。refold f g = go where go a = f (fmap go (g a))数据类型data Nu f = forall a. Nu (a -> f a) a和newtype Mu f = Mu {unMu :: forall b. (f b -> b) -> b}可以看作是余代数和代数的遗忘函子的特征和极限，refold是它们
浏览 15提问于2022-02-06得票数 6
2回答
类型构造函数作为返回类型
、、、、
在Scala中，我可以定义一个defined trait Maybe
defined object NothingHeref: [A](x: A)Just[A]
现在我
浏览 0提问于2015-06-03得票数 7
回答已采纳
终止空字符将自动追加。返回的数组指向一个内部位置，其中包含这个字符序列所需的存储空间加上它的终止空字符，但是这个数组中的值不应该在程序中被修改，只能在下一次调用string对象的非常量成员函数之前保持不变。为什么他们不直接定义operator const char*() const {return c_str();}
浏览 6提问于2009-01-29得票数 31
回答已采纳
尝试函数式编程，并尝试从在线材料中自学Haskell。可能是非常基础的，但是我不明白为什么我的快速排序的实现对于长度大于1的任何输入列表都不能终止。element <- array, element <= pivot]对这个haskell新手的任何帮助都将不胜感激！
浏览 1提问于2015-08-17得票数 0
我试图用haskell编写一个函数，它包含两个参数和一个函数。根据这两个参数，它将执行给定的函数或不执行。问题是，给定的函数可以有不同类型的签名。在伪码中：
then f
浏览 2提问于2016-01-01得票数 1
回答已采纳
2回答
作为一种纯粹的函数式编程语言，Haskell集中使用递归。堆栈溢出错误是否发生在Haskell中，就像在Java中一样？为什么，为什么不呢？
浏览 3提问于2017-04-06得票数 6
回答已采纳
Liquid Haskell使用像{-@ ... @-}这样的注释来处理合同块。是否可以(通过命令行选项、配置文件)指定对合同使用类似于-- ...的单行注释样式？
浏览 14提问于2019-05-23得票数 3
回答已采纳
我最近写了一些Haskell代码，它从不终止。main :: IO () let a = a in我想这肯定与Haskell的懒惰有关，因为相同的代码在OCaml中终止。:: IO () let b = a in代码完全不会有问题<e
浏览 2提问于2014-11-12得票数 5
回答已采纳
4回答
根据本文在上的介绍，所有类型都有底部，如果函数f:A->B将类型A的底部映射到B类型的底部，则称为非严格的其他类型。
(这让人联想到一个尖刻的范畴，在这个范畴里，语素保留了基点)。为什么Haskell有非严格的函数，而标准ML没有？
浏览 3提问于2013-01-10得票数 4
假设charm.c有一个枚举key和一个返回key类型值的函数get_key()。如何公开相应的Haskell Key记录和函数getKey :: IO Key
如何才能在不手动指定每个枚举值如何映射到Haskell值的情况下做到这一点？
浏览 0提问于2011-07-14得票数 19
回答已采纳
我正在学习一些Haskell和我偶然发现了一个小程序reverseLines input = main = interact reverseLines
这个程序将不断要求用户提供更多的输入和反向输入，并在屏幕上打印。这大部分都是直接的，但是有一件事我无法理解，就是为什么这个函数会继续运行，并要求用户提供更多的输入，而如果我只
浏览 3提问于2016-04-16得票数 4
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
云直播
对象存储
腾讯会议活动推荐
腾讯云开发者
