3回答
方案/球拍新手:大量使用递归是一种生活方式，还是我正在经历一个典型的阶段
recursion、scheme、racket
在过去的几个月里，我一直在研究函数式语言，从F#到Haskell再到Scheme (球拍)。我从来没有真正使用过递归，但Haskell和它的模式匹配确实帮助我减少了对它们的恐惧。现在我使用了Scheme，我似乎默认使用递归方法。我很好奇，这是不是暗示着刚刚经历了一次"ooo shiny!“阶段或者递归是否是Scheme开发的主要部分。附注:每当我编写递归方法时，我都在尝试尾递归。
浏览 1提问于2012-01-27得票数 5
回答已采纳
1回答
流融合在Haskell中是如何工作的？
haskell、optimization、iteration
我可以在Haskell中编写自己的受流融合影响的map函数吗？
为什么列表上的递归迭代不受融合的影响？这完全扼杀了Haskell模式匹配的出色表现力：foo (x:xx) ...！
浏览 12提问于2016-08-05得票数 3
回答已采纳
2回答
基于`Data.Map`的模式匹配实现“映射”
haskell
让我们考虑一下map'在List上的Haskellmap' [] _ = []请注意，我可以在(x:xs)上进行模式匹配以递归调用map' xs f。如何匹配模式以递归地将f应用于Data.Map的每个值？
浏览 6提问于2014-06-11得票数 2
回答已采纳
2回答
在执行模式匹配之前将函数应用于参数
haskell、functional-programming
我对Haskell并不熟悉，我试图不本能地思考问题。我有一个函数，它在模式匹配块中完成所有的工作，但是它需要在一个函数应用到它之后，对参数进行模式匹配。Haskell有什么方法来执行像show这样的简单函数，然后对结果进行模式匹配呢？
我尝试将模式匹配更改为case语句，但它不允许所有重要的递归，因为没有可以递归调用的函数。
浏览 0提问于2021-10-27得票数 4
2回答
clojure析构与类似haskell的参数模式匹配
haskell、clojure、functional-programming
来自Haskell的我发现在Clojure中很难遍历某些数据类型。在Haskell中，如果我喜欢对某个类型进行递归，最基本的情况是foo (x : y : xs) = bar y (foo xs)
foo但我认为Clojure的破坏并不像Haskell的模式匹配那样强大。有一个很好的习惯方式来完成我想做的事情吗？举个例子，如果我有一个列表/向量，那么当没有更多的元素时，如何匹配一个案例呢？
浏览 3提问于2014-02-27得票数 3
回答已采纳
1回答
利用Haskell获取二叉树的叶子
haskell
我有一个函数treeLeaves :: BinaryTree a -> [a]。该函数应该采用二叉树，并返回一个包含该树叶子的列表--也就是说，在树下没有子树的所有节点。你能帮帮我吗?我不知道怎么开始。
浏览 0提问于2018-11-04得票数 0
1回答
Scala列表递归性能
performance、list、scala、recursion、pattern-matching
这个问题是关于Scala对列表进行模式匹配和递归的方式及其性能。如果我有一个在列表上递归的函数，并且我在cons上进行匹配，例如如下所示： case Nil => Nil我使用的语义与使用Haskell时的语义相同。我不认为有任何关于Haskell实现的问题，因为这是您处理列表的简单方式。对于一个很长的列表(我将在一个只有几千个节点的列表上进行操作
浏览 3提问于2009-09-03得票数 14
回答已采纳
4回答
Haskell -模式匹配与递归
haskell、binding、matching
我对Haskell和编程都很陌生。我关于模式匹配递归函数绑定的问题。例如，假设我有一个函数来检查给定列表(x:xs)是否是另一个列表(y:ys)的子列表。, 2, 3] = sublist [3] [4, 1, 2, 3]
这时，我想，3= 3:[]将与子列表中的(x:xs)匹配，而4、1、2、3将与子列表中的(y:ys)匹配。
浏览 4提问于2010-07-09得票数 8
回答已采纳
1回答
Haskell样式:模式匹配与更直观的解决方案
haskell
我刚从Haskell开始，所以我试着用"Haskell思维方式“来思考。是否有理由使用模式匹配来解决问题1 基本上是通过展开整个列表并递归调用函数来解决问题1，而不是像myLast lst = lst !! ((length lst) - 1)那样直接检索最后一个元素？
浏览 1提问于2018-10-07得票数 3
回答已采纳
2回答
为什么我们使用折叠将数据类型编码为函数？
haskell、functional-programming、algebraic-data-types、church-encoding、scott-encoding
a -> Either a b rright y = \cl cr -> cr y
如何确保使用折叠的编码与假设的“模式匹配编码”一样
浏览 6提问于2012-11-27得票数 16
回答已采纳
2回答
Agda中基于归纳原理的函数定义
agda、type-theory
当我在Agda中玩弄证明验证时，我意识到我对一些类型明确地使用了归纳原理，而在其他情况下使用了模式匹配。我终于在维基百科上找到了一些关于模式匹配和归纳原则的文章：“在Agda中，依赖类型的模式匹配是语言的原语，核心语言没有模式匹配转换成的归纳/递归原则。”那么，Agda中的类型理论归纳和递归原则(在类型上定义函数)是否因为Agdas模式匹配</e
浏览 20提问于2015-06-02得票数 5
1回答
在绑定结果中查找列表中的元素？
haskell
最优情况下，我将能够进行模式匹配并执行("s", v) = ...我知道我只需要创建一个递归函数，它本身就是使用模式匹配的，但是我正在寻找一种更简洁的方法来利用Haskell已经定义的函数，就像标准序言中的那些：)
浏览 1提问于2021-09-22得票数 0
回答已采纳
4回答
Haskell:解析模式x ++ xs中的错误
haskell、pattern-matching、parse-error
执行 (我目前正在尝试学习该语言)，我尝试将模式匹配和递归结合到我的函数中，该函数现在如下所示：myElementAt (x ++ xs)是不是因为Haskell不知道在哪里删减我的列表(这是我最好的猜测)？
我怎样才能重组我的功能，使其工作呢？算法的思想是检查列表的长度是否与指定的索引相同；如果是，返回最后一个elemen；如果不在列表末尾剪掉一个元素，则执行递归。注意:我知道这是一个非常糟糕的算法，但是我
浏览 6提问于2017-05-29得票数 1
回答已采纳
1回答
Rascal中的列表模式匹配
pattern-matching、rascal
在Haskell (与Prolog /Erlang非常相似)中，我们可以将列表上的长度函数定义为：length (x:xs) = 1 + length xsint length([]) = 0;"*“消失在递归长度情况的右侧。是否有更好的方法在Rascal中使用模式匹配来定义列表上的递归函数？
浏览 3提问于2017-04-10得票数 1
回答已采纳
3回答
哈斯克尔卫兵是如何评估的？
haskell
我正在处理99个Haskell问题，在其中一个解决方案中，我遇到了以下代码：pack' [x] = [[x]] | x == head| otherwise = [x]:p_xs我想知道第一个保护程序何时调用pack‘，这是否是Haskell代码中引用函数调用返回的列表的头和尾的常见模式。是否有多个调用要打包‘在任何级别
浏览 4提问于2014-12-22得票数 4
回答已采纳
2回答
为什么存在类型没有模式匹配？
haskell
即使没有扩展ExistentialQuantification，Haskell也通过类型同构为任何类型的C支持一些存在类型，这很奇怪，因为存在型是广义和类型。Haskell使用data关键字支持有限和类型，并允许它们进行模式匹配。在C++、Java和C#等语言中，存在类型是接口，它
浏览 1提问于2017-03-02得票数 1
回答已采纳
3回答
如何用foldr实现zipWith？
haskell
我正在学习haskell，我需要使用zipWith定义foldr函数。
我可以使用模式匹配和递归来完成这一任务，但目前对我来说并不适用。
浏览 3提问于2021-01-15得票数 0
回答已采纳
1回答
连续列表元素的Haskell模式匹配
haskell、recursion、duplicates、pattern-matching、counting
我想要检查列表中的下一个元素是否与前一个元素相同，并使用递归函数和Haskell中的模式匹配来增加计数，我该如何做？
浏览 4提问于2021-09-26得票数 0
5回答
为什么Haskell中的递归习语是"'n+1‘and 'n'“而不是"'n’and 'n-1'"？
haskell、recursion、idioms
我正在研究Graham Hutton的Haskell一书，在他的递归章节中，他经常对"n+1“进行模式匹配，例如：myReplicate1 (n+1) x= x : myReplicate1 n xmyReplicate2 0 _ = []
myReplicate2
浏览 1提问于2010-05-07得票数 7
回答已采纳
云服务器
对象存储
ICP备案
云点播
腾讯会议
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号