myReverse :: [a] -> [a]lambda函数显然在括号中。foldl的初始值是从哪里获得的？在这种情况下，[b]是什么？
浏览 13提问于2017-12-21得票数 5
有人能给我解释一下lambda在Haskell中是如何工作的吗？我知道结果是什么，函数是做什么的，但我不明白为什么我们需要lambda表达式，或者lambda在函数中做什么？
浏览 1提问于2020-03-06得票数 3
从Haskell来玩氮气，遇到了一些我找不到的例子，所以如果有人能帮我的话： where burn x
浏览 0提问于2012-11-13得票数 7
回答已采纳
2回答
Y组合器和尾调用优化
、、、
在F#中Y组合子的定义是作为第一个参数，F期望递归子问题的某些延续。使用y f作为延续，我们看到f将被应用于连续调用，因为我们可以开发。问题是，根据先验，这个方案排除了使用任何尾调用优化:实际上，在f中可能有一些待定的操作，在这种情况下，我们不能只改变与f相关的本地堆栈帧。因此：对于要应用TCO的操作，我们
浏览 0提问于2012-12-26得票数 20
我目前正在学习Haskell，我遇到的不是问题，而是困惑。我正在看电子书“学习你一个哈斯克尔”中的例子。()还有一个lambda函数和foldl的例子，我不太明白。因此，在示例中，为重新创建反向函数提供的代码如下：reverse' = foldl (\acc x -> x : acc) []
我已经编译了，并成功地
浏览 3提问于2016-01-24得票数 3
回答已采纳
2回答
Haskell折叠式还原
、、、
我对Haskell还是很陌生的，我正在努力解决一个问题。我曾尝试过一些事情，但我确信这是错误的。(1)借用课程笔记和Haskell，我们来定义一个函数，(b) foldl f x (cons a list) = foldl f (f x a) listx y) (f y x)))
也就是说，切换函数切换它的参数，在Lambda Calculus中，它，
浏览 1提问于2016-05-01得票数 0
我想弄清楚Haskell函数的定义。我采用了foldl函数，其定义是foldl :: (a -> b -> a) -> a -> [b] -> a:t foldl(+)
foldl (+) :: Num b => b ->
浏览 4提问于2013-10-07得票数 6
回答已采纳
我最近一直在学习Haskell，遇到了一些我不太理解的东西: lambda函数的参数。x == y then True else acc) False ysreverse' = foldl (\acc x -> x : acc) []
在第一个函数中，累加器被列出为lambda的第二个参数，然后是第一个跟随foldl<e
浏览 3提问于2021-09-20得票数 5
回答已采纳
在Haskell中，我与懒惰计算的斗争之一是对内存使用进行推理的困难。我认为复制thunk的能力会让我更容易做到这一点。下面是一个例子。让我们创建一个非常大的列表：现在，让我们创建一个坏函数： print $ foldl1' (+) xs在没有优化的情况下，这会占用几十MB的</em
浏览 2提问于2012-07-27得票数 26
回答已采纳
2回答
这是我使用foldl的默认工作流。当延迟版本下降要评估时，只需使用foldl'即可。..。
但是，如果组合函数在其第一个参数中是懒惰的，foldl可能会很高兴地返回<
浏览 0提问于2014-09-19得票数 16
回答已采纳
如何为一般Haskell树编写广义foldr和foldl函数，给出这个定义？-> c
(b -> a -> c) -> c -> (c -> b -> b) -> b -> Tree a -> c
即使我能理解foldr和foldl函数在Haskell中是如何<em
浏览 4提问于2011-02-13得票数 1
sum' :: (Num a) => [a] -> a没有像x:xs这样的模式。xs是一个列表。在lambda函数中，表达式acc + x如何知道x是xs中的元素
浏览 0提问于2018-07-19得票数 1
回答已采纳
4回答
蠢货怎么会懒？
、、
现在我知道了：2)不要使用foldl，因为它会炸掉堆栈如何评估foldl：2)在完成Haskell创建块之后3)如果有太多的块，堆栈就溢出。( 1)为什么在经历了所有的挫折之后，都要进行减缩？
2)为什么foldl的评估不像foldl<
浏览 0提问于2011-09-20得票数 13
回答已采纳
2回答
我目前正在学习Haskell。我正在尝试编写一个函数，如果一个元素是另一个元素的排列，则给定两个n个不同元素的列表将返回true。我这样做是作为一种练习。我最初是这样写的：isPermut u v = foldl (\acc x -> acc && (elem x u)) Truev
这似乎是可行的
浏览 1提问于2012-02-04得票数 2
回答已采纳
我正在从“Learn You a Haskell for Great Good！”中学习folds！作者: Miran Lipovaca。对于以下使用foldl的示例 sum' :: (Num a) => [a] -> a11 我知道acc是累加器，x是起始值(列表xs中的第一个值)。我不
浏览 24提问于2019-06-09得票数 2
回答已采纳
3回答
Haskell有方程扩展器吗？我对Haskell并不熟悉，我很难理解为什么某些方程式比其他的更可取。我认为如果我能看到方程的扩展会有帮助。+ 4然而，在更大的方程式上，我很难理解为什么事情在Haskell中是这样工作的。例如，第一个筛子函数使用1000个过滤器
浏览 4提问于2010-12-10得票数 13
1回答
我是Haskell的新手，在从事小程序的工作时，我发现对lambda函数的功能几乎没有什么混淆。lastThat :: (a -> Bool) -> a -> [a] -> a 执行lastThat使用下列定义时
lastThat :: (a -> Bool) -> a ->
浏览 4提问于2019-12-14得票数 0
1回答
我在java中模拟haskell函数foldl。同时检索和删除列表的第一个索引。我已经这样做了，使用了以下签名foldl(BiFunction <R, T, R> f, R z, List<T> l)，其中T是String，R是int。现在唯一的问题是，我需要创建一个max java方法，该方法使用模拟的foldl，并具有以下签名：max(Comparator<T>
浏览 3提问于2015-11-19得票数 0
回答已采纳
通过这个任务，我们必须一个接一个地实现foldl。fn acc (x:xs) = foldr fn' (fn' x acc) xs fn' = flip fn
只需翻转函数参数以满足foldr预期的类型，并通过递归应用传递的函数来模仿这是一个惊喜，因为我的老师给这个答案打了0分。我甚至用与标准foldl相同的方式检查了这个定义堆栈它的
浏览 2提问于2012-09-02得票数 4
回答已采纳
我做了一个名为Queue的自定义数据类型，并试图在"list“末尾加入整数。enqueue x Nil = (Ele x Nil)我知道错误：
“无法与预期的类型我认为这是因为函数不知道如何处理我的数据类型。我就在这儿吗？我怎么才能解决这个问题？我必须写我自己的反函数吗？如果<em
浏览 4提问于2014-04-24得票数 2
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM
腾讯云开发者
