haskell中的递归实例

文章/答案/技术大牛

发布

1回答

、、

当使用下面的代码时，我得到了关于递归使用toInt的错误消息data Zero toInt :instance (Nat n) => Nat (Succ n) where我本以为查找toInt很简单，因为它是在递归实例的上下文中指定的显然，n和n0应该是相同的，但即

浏览 13提问于2016-08-18得票数 2

回答已采纳

3回答

创建一个函数ved，它将使用递归只删除列表中最大项的最后一个匹配项

您必须使用递归来定义rmax2，并且必须从头开始。也就是说，除了cons运算符、head、tail和comparisons之外，您不应该使用Haskell库中的任何函数。我创建了一个函数，使用列表理解删除最大项的所有实例。如何使用递归删除最大数的最后一个实例？

浏览 2提问于2021-10-14得票数 1

3回答

说： call-by-need是call-by-name的记忆版本，如果函数参数被求值，该值将被存储以供后续使用。……Haskell是使用按需求值的最知名语言。然而，计算的值并不总是为了更快的访问而存储(例如，考虑fibonacci数的递归定义)。我在#haskell上问了一个人，答案是这种记忆是自动完成的，“只在一个实例中，例如，如果你有‘`let foo = bar baz'，foo将

浏览 1提问于2012-04-28得票数 4

回答已采纳

1回答

haskell中本原递归函数的良好表示

、

我在中指出，在Haskell中，可以代表的联合(PRFs)和⊥或undefined的单个额外价值。这个论点基于对原始递归函数的公理化构造的直接转换；它需要一些语言扩展和函数的类型级推理。是否有可能在更惯用的Haskell中表示一组等价的原始递归函数？不

浏览 2提问于2014-12-09得票数 5

回答已采纳

1回答

haskell中的递归函子实例

、

我遇到了一个关于递归函式实例的haskell问题。= Hol 我做了一个数据类型列表，在其中我需要包含函子Fmap实例

浏览 0提问于2018-02-15得票数 2

回答已采纳

1回答

为什么Haskell要递归地导入实例？为什么不只从指定的模块导入所有实例？

、、、

摘自Haskell 2010报告，第5.4节。“只有在导入声明链导致包含实例声明的模块的情况下，实例声明才在作用域中。”我确实用一个简单的程序进行了检查，它确实递归地引入了作用域实例，即使它们不是直接在导入的模块中。为什么这种递归行为是可取的/必要的？如果它只引入仅包含在目标模块中的所有实例

浏览 1提问于2020-05-29得票数 2

2回答

使用尾递归查找列表的最大值

我正在尝试理解如何在Haskell中使用尾递归来编写函数。在下面的示例中，该函数接受一个列表并输出列表中的最大值。我的目的是使用c变量来存储当前的最大值。我想知道是否有人可以解释一下使用尾递归在这个实例中是如何工作的？

浏览 1提问于2013-02-13得票数 1

回答已采纳

2回答

尾递归，我应该在Haskell中使用它吗

、、

我知道Haskell中的尾递归有一些困难，因为它是懒惰的。也就是说，在Haskell中使用尾递归是否明智？

浏览 0提问于2013-11-03得票数 2

2回答

函数编程语言中的互递归函数

、、、、

单个递归函数可以对其进行尾递归优化，以防止堆栈溢出，但相互递归函数又如何呢？此演示如何在F#中定义相互递归的函数： G() F()另一方面，Haskell不需要

浏览 4提问于2015-02-28得票数 0

回答已采纳

5回答

如何在Haskell中找到二叉树的所有可能的子树？

、、、

我需要在二叉树中找到所有可能的子树：allSubtrees = undefineddata BinaryTa = | Node (BinaryT a) a (BinaryT a)我是Haskell的新手，我知道在Haskell中没有whileHaskell完全是关于递归的。我

浏览 0提问于2013-08-30得票数 4

1回答

Hashell中的Eq型奇异性

学习如何用haskell编写typeClassesdata Trivial = ATrivial (==) trVal1实际上，下面的表达式不应该编译，因为== on Trivial没有定义，充其量它应该无限期地递归。实际上，如果我对Type的理解是正确的，那么trVal1和trVal2的唯一可能类型是微不足道的。它受到类型类Eq Trivial的类型

浏览 3提问于2021-01-05得票数 1

回答已采纳

1回答

为什么Haskell不支持相互递归的模块？

、、、

Haskell支持相互递归的let绑定，这是很棒的。Haskell不支持相互递归的模块，这有时很糟糕。我知道GHC有，但我认为这是个小问题。据我所知，对互递归模块的透明支持应该是相对“简单”的，而且它完全可以像相互递归的let绑定那样进行:与其将每个单独的模块作为编译单元，不如将模块依赖图中的每个强连接组件作为编译单元。Haskell</

浏览 4提问于2013-01-04得票数 18

回答已采纳

1回答

type和newtype之间的编译时间和运行时间差异

、

在读-编译-运行管道的不同阶段，type声明和newtype声明有什么不同？我的假设是它们被编译成相同的机器指令，唯一的区别是当程序被类型检查时，例如newtype Name_ = N String 你可以在任何需要String的地方使用Name，但是如果你在需要String的地方使用Name_，那么类型检查器会把你找出来，即使它们编码的信息是相同的。我问这个问题是因为，如果是这样的话，我看不出任何理

浏览 1提问于2013-02-11得票数 6

回答已采纳

1回答

Python中的递归数据类型

、、、、

Python中最接近Haskell中的递归数据类型的东西可能是什么？(即在定义自身时使用类型自己的定义。)编辑：data Tree a = Leaf a | Branch (Tree a) (Tree a) 我是这样理解的有关Haskell中</

浏览 11提问于2020-09-02得票数 3

1回答

实现尾递归

、、

我用haskell编写了一个简单的函数，它是非尾递归的，它总结了列表中的值，其中：nonTailRecursiveSum[] = 0 --base case但是我现在要做的是实现相同的函数，但是使用尾递归。据我所知，尾递归在最后一步执行<em

浏览 1提问于2018-11-03得票数 1

回答已采纳

2回答

Haskell递归类型类

、

我想创建一个基于元组的递归实例类型。我正在寻找的是类似于这个的东西： getInstance :: a -> b tryFunc2 = in getInstance provider 不幸的是，

浏览 0提问于2016-09-13得票数 1

4回答

Haskell中的前n个奇数之和

、

我对Haskell -and完全陌生--我想知道您如何用Haskell编写这样的函数。我已经习惯了命令式语言，但是在haskell中处理递归对我来说现在是难以捉摸的。请注意，我知道奇数之和可以用n^2 (即3个第一个奇数之和1+3+5=9= 3^2)完成，但其思想是使用函数式编程学习递归。有

浏览 3提问于2016-05-16得票数 1

回答已采纳

4回答

哈斯克尔的foldR尾部递归吗？

、、、、

我对Haskell很陌生，我读过Haskell的第一原则，在第384页中，我遇到了FoldR，它似乎不是尾部递归的foldrf z [] = z1-我们能使它的尾递归吗？

浏览 3提问于2021-04-27得票数 4

1回答

使用模板Haskell递归生成实例

、、

在GenericPretty中，有一个使用GHC.Generic magic的默认实现的Out类。如你所见，我定义了Person数据类型，如果我想实现Out类，我必须手动编写3次，因为Person使用了Address和Names数据类型，这也应该是Out类的实例。我想用模板Haskell自动生成实例声明。这个过程似乎很简单。2、如果定义Person的</em

浏览 0提问于2014-11-30得票数 1

1回答

Haskell是如何将图灵完整性添加到系统F中的？

、、、、

我一直在阅读各种类型的系统和lambda计算器，我看到lambda立方体中所有类型的lambda计算器都是强规范化的，而不是图灵等价物。这包括System，简单类型的lambda演算加上多态。这就引出了以下问题，我一直找不到任何可理解的答案： Haskell中的哪些语言特性不属于F系统的形式主义？允许图灵完成计算所需<em

浏览 5提问于2014-08-12得票数 48

回答已采纳

点击加载更多