Haskell递归实现可能

文章/答案/技术大牛

发布

1回答

haskell

我是haskell的新手，我尝试实现了一个堆栈。什么是正确的方式来实现这个弹出函数，以便我可以连续地调用它，并对空栈有适当的行为。此外，我仍然想知道如何在来自命令式语言背景的真实应用程序中使用Haskell。

浏览 14提问于2021-07-13得票数 2

回答已采纳

2回答

如何定义仍具有递归类型的非递归函数的函数类型

haskell、types、recursive-type

[] : [isNull];当我试图表达一个类似Haskell的类型注释时，我失败了。同样，尝试在Haskell中实现类似的函数：这类函数本身不是递归的，但它们的类型是递归的，有没有一个术语来描述这种函数？抱歉，如果这是显而易见的-我的Haskell知识(包括严格的类

浏览 4提问于2017-09-04得票数 2

2回答

haskell模本原递归

haskell、functional-programming、primitive

我正在尝试使用函数在haskell中创建一个模函数。我知道这是可能的(因为它在维基百科上的示例函数列表中)function mod(a, b){ a -= b}function mod(a, b){ return mod(a -

浏览 0提问于2011-12-25得票数 7

回答已采纳

5回答

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

haskell、binary-tree、traversal、tree-traversal

我需要在二叉树中找到所有可能的子树：allSubtrees = undefineddata BinaryTa = | Node (BinaryT a) a (BinaryT a)我是Haskell的新手，我知道在Haskell中没有whileHaskell完全是关于递归的。我的问题是，如何在没有无限递归的情况下获得树的

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

4回答

从字典和维度生成所有可能的组合的函数式尾递归方法

haskell、recursion、functional-programming、scheme、sml

我想找出实现以下指定函数的简明、函数和尾递归(如果可能的话)方法： ;; Implementation)我倾向于使用尽可能少的助手或库函数来实现Scheme，但SML或Haskell也会这

浏览 9提问于2020-07-06得票数 2

回答已采纳

1回答

实现尾递归

haskell、recursion、tail-recursion

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

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

回答已采纳

1回答

将元素映射到Haskell中的函数列表

haskell

Haskell中的map函数将函数应用于输入列表：如果我们想要将一个元素应用到一个函数列表中，我们可以使用递归来实现这一点： [] -> []如果可能的话，我们如何用高阶函数(如foldl、foldr或map )简

浏览 4提问于2022-05-26得票数 2

回答已采纳

2回答

如何递归地实现“显示”尾？

haskell、tail-recursion

Haskell的show通常是递归实现的，如下所示：show' Leaf = "Leaf" 如何使用尾递归实现

浏览 4提问于2015-07-24得票数 4

回答已采纳

1回答

构造演算的递归下降解析器

parsing、haskell

我用实现了一个简单的一元解析器，在Haskell中实现了一个构造演算的类型检查器和减缩器。> | <name>我的当前解析器使用这种变化，消除了左递归")" "→" <appl> | &quo

浏览 1提问于2018-06-26得票数 1

回答已采纳

1回答

Python中的递归数据类型

python、haskell、type-hinting、algebraic-data-types、recursive-datastructures

Python中最接近Haskell中的递归数据类型的东西可能是什么？(即在定义自身时使用类型自己的定义。)编辑：data Tree a = Leaf a | Branch (Tree a) (Tree a) 我实际上想到的是将Haskell中的词树定义转换为Python。然而，由于H

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

3回答

为什么Haskell的`++`是递归实现的，并且花费了O(n)时间？

list、pointers、haskell、recursion、functional-programming

据我所知，Haskell中的列表与C语言中的链接列表类似。因此，对于下面的表达：b = [4,5,6]Haskell以递归方式实现这一点，如下所示：它的时间复杂度是然而，我想知道为什么我不能更有效地实现++。制作一个a的副本(叉)，让我们称之为a'，在O(1)时可能会有一些技巧来做到这一点。

浏览 3提问于2015-06-07得票数 7

回答已采纳

1回答

Scala中具有相互递归类型的递归方案

scala、recursion-schemes

如何表示这些类型，以便可以使用droste或matryoshka/Fix使用递归方案？

浏览 26提问于2020-08-15得票数 1

8回答

函数式语言在递归方面更好吗？

functional-programming、recursion

TL;DR :函数式语言比非函数式语言处理递归更好吗？public int factorial(int x) { if (x <= 0例如，下面是Haskell中使用递归的阶乘函数：

浏览 0提问于2012-05-18得票数 44

回答已采纳

3回答

我正在寻找一种在Haskell中支持快速索引和快速追加的数据结构。这是为了解决由递归引起的记忆问题。从向量在c++中的工作方式(它们是可变的，但在这种情况下这不重要)看来，同时具有(摊余的) O(1)追加和O(1)索引的不变向量应该是可能的(ok，它不是，请参阅对此问题的注释)。这在Haskell中是可行的，还是应该使用具有(AFAICT无论如何) O(1)附加和O( Data.Sequence (min(i，n-i)索引的log？另外，作为一名Haskell新手，我发现自己渴望一本实用、简洁的H

浏览 0提问于2012-05-04得票数 8

回答已采纳

3回答

为什么Perl如此害怕“深度递归”？

perl、haskell、recursion

我遇到了一个问题，这个问题看起来是递归解决方案的一个很好的候选方案，我用这种方式编写了它。但是Perl抱怨“深度递归”。我在googled上搜索了一下，发现一个Perl和尚解释说"Perl不是Haskell“。默认情况下，当递归深度超过100个级别时，通常会收到投诉。有一些方法可以延长这个限制或完全关闭这个限制，但我的问题是：为什么Perl对递归如此紧张，而却一点也不紧张呢？

浏览 2提问于2013-12-20得票数 33

回答已采纳

1回答

使用列表理解快速排序的Python实现

python、performance、algorithm、functional-programming、quick-sort

我写了一个快速排序的实现，我认为它是节奏曲。我是以这个常见的Haskell实现为基础的：没有适当的排序除了上述问题之外，我还应该注意哪些问题呢？我应该完全避免递归吗？是否有人看到错误或有提议的更改？

浏览 0提问于2018-10-31得票数 1

回答已采纳

1回答

Coq中的无限递归类型(用于香蕉和透镜)

coq、recursion-schemes

然而，博客文章在Haskell中，它允许无限的、不终止的递归，因此完全满足于Y组合器。而Coq不是。也许有人已经在Coq中实现了来自的递归方案？

浏览 0提问于2019-09-09得票数 6

回答已采纳

2回答

递归还是列表理解？

haskell、recursion、list-comprehension

通过学习Haskell For Great Good，在关于高阶函数的一章中，作者介绍了几个不同的库函数的实现。在谈到filter' (标准库函数filter的重新实现)的定义时，我认为显而易见的事情是：但作者给出了以下更长的递归定义： filter递归定义在某种程度上更具有表现力吗？对Haskell来说，这更像是习语吗？还有别的吗？

浏览 0提问于2011-07-09得票数 10

回答已采纳

1回答

Haskell:如何提高深度递归和随机数生成的性能

performance、haskell、recursion、random

令人感兴趣的问题是增强以下Haskell程序，递归深度为1亿，000,000,000,000,000,000,000,000,000,000,000,000,000递归深度，使其更快： s :: Int32Haskell标准库中随机数的实现是否较慢？还是应该使用与randomRIO不同的函数？还是与懒惰的评估有关？你能在Haskell程序中优化任何东西并使其更快吗？很明显，像Haskell和C这样的高级语言之间可能存在性能上的差异，但我并不认为它会慢7

浏览 3提问于2015-10-02得票数 0

回答已采纳

1回答

严格语言中的MonadFix

haskell、f#、ocaml、monads、monadfix

我正在为Ocaml中类似haskell的do符号开发camlp4扩展，并试图弄清楚GHC是如何编译递归do绑定的(通过-XDoRec实现的)。我想知道是否有可能在严格的语言(如Ocaml/F#/SML/...)中存在一元定点组合器？如果是，它看起来是什么样子的？它会非常有用吗？

浏览 8提问于2013-03-22得票数 10

点击加载更多