参数传递顺序如何影响Haskell中的惰性计算？

haskell、recursion、lazy-evaluation

我一直在尝试理解Haskell中的延迟评估，我基本上理解为只有在必要的时候才进行评估。但是，当我试图高效地实现斐波那契时，我遇到了这样的情况(奇怪？)fib 20000000在递归调用中交换传递的参数时：fib2 x y 0 = x fib2x y z = fib2 (x + y) x (z - 1)

浏览 12提问于2017-01-22得票数 8

回答已采纳

2回答

Haskell:非严格布尔操作

haskell、lazy-evaluation

有没有办法在Haskell中定义如下函数？False True = Trueor False False = False 我目前还没有它的用例

浏览 0提问于2012-06-08得票数 7

回答已采纳

3回答

一元计算中的松弛序约束

haskell、monads、commutativity

例如，如果我在IO monad中编写： b <- doSomethingElse我知道doSomething会在doSomethingElse现在，考虑一下C语言中的等效代码：C的语义实际上并没有指定计算这两个函数调用的顺序，所以编译器可以随意地随意移动我的问题是：如何

浏览 0提问于2011-05-05得票数 24

回答已采纳

1回答

交换逻辑运算符参数以加快计算速度？

haskell、programming-languages、lazy-evaluation、multiple-languages

是否有任何编程语言实现了逻辑操作参数(如AND，OR)的交换，以实现更快的计算？条件计算为“真”，而不计算A。

浏览 2提问于2016-01-29得票数 1

回答已采纳

1回答

Fibonacci序列生成

haskell、fibonacci

我正在编写fibonacci序列生成器，我试图理解Haskell中的以下代码我理解zipWith是什么，但我不知道程序是如何执行的我试图理解为什么不使用功能语言中的环境概念来终止，如下所示：最初，由于Haskell的惰性计算，env中的绑定应该是fibs : [1,1,x]，然后计算

浏览 3提问于2015-02-23得票数 4

回答已采纳

4回答

为什么这个Haskell代码能够成功地处理无限列表？

haskell、functional-programming、infinite、fold

我有一些Haskell代码可以在无限列表上正确工作，但我不明白为什么它能够成功地工作。(我修改了我的原始代码-它没有处理无限列表-将其他代码合并到网上，然后我突然发现它起作用了，但不知道为什么)。a] -> Bool where我对foldr的理解是，它将遍历列表中的每一项(也许这种理解是不完整的)。如果是这样的话，"s

浏览 5提问于2009-05-07得票数 36

回答已采纳

1回答

callCC是如何用严格的函数语言实现的？

haskell、monads、continuations、callcc

考虑函数quux的Haskell中的以下示例，以及连续monad和callCC的定义。n >>= \_ -> return 25 == 我们可以从k的定义中看到，即\a -> cont $ \_ -> h a，在上面，我们将\x -> runCont ((\_ -> return 25) x)

浏览 8提问于2013-12-21得票数 8

回答已采纳

2回答

具有头部功能的Haskell懒惰问题

haskell

信息：他们不解释细节，我很好奇。我对此有几个问题：若否，为何不懒惰呢？但是它变得更复杂了，因为对于整数，我想如果我编写3 + 5，它也可以是惰性表达式。

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

回答已采纳

7回答

在haskell中关闭惰性评估

haskell

是否有可能在Haskell中关闭惰性评估？我想用我前段时间写的一个旧程序来尝试一些新的东西，看看我是否可以提高性能。

浏览 0提问于2013-03-26得票数 19

回答已采纳

2回答

每一种功能语言都是懒惰的吗？

haskell、functional-programming、lazy-evaluation

我可以选择将函数及其参数存储在元组中，以供以后的评估。所以而不是我做的事就像后来，我可以用这样的方法来评估这件事嗯，可能还有更多，因为我只想计算每个未计算的函数调用一次相反的情况似乎也是如此，因为在Haskell中，默认情况下是懒惰的，我可以使用seq或BangPattern

浏览 7提问于2015-11-17得票数 11

回答已采纳

2回答

用CPS编写的函数是如何使许多事情显式化的？

haskell、scheme、continuation-passing

说用连续传递样式编写的函数需要额外的参数:显式“延续”，即一个参数的函数。当CPS函数计算了它的结果值时，它通过调用带此值作为参数的延续函数来“返回”它。其中包括：过程返回(这在对一个延续的调用中变得明显)；中间值(它们都是给定的名称)；顺序的参数计算( order of passed )

浏览 0提问于2019-08-05得票数 2

3回答

列表生成函数的延迟计算？

haskell、lazy-evaluation

我目前正在读由格雷厄姆·赫顿( Graham )编写的Haskell编程。在第40页中，提出了一项玩具原始性测试：factors n = [x | x <- [1..n], n `mod` x == 0] prime n = factors n == [1,n] “决定一个数字不是素数并不要求函数素数产生它的所有因素，因为在惰性计算<e

浏览 3提问于2016-04-21得票数 26

回答已采纳

1回答

(和Haskell* Typeclasses一样有表现力)*

haskell、clojure、typeclass、multimethod、clojure-protocol

这是一个关于Clojure与其他语言(如Haskell )的表现力的问题。更广泛的问题是的解决方案。得出的结论是，在一般情况下，Clojure协议(和多方法)的表达不如Haskell类型，因为协议是在第一个参数上分派的，而Haskell类型协议可以在返回类型上进行调度。我只是对思路的清晰感兴趣)。作为分解这个推理的一部分--我的问题是--不能创建一个对返回类型(

浏览 5提问于2014-03-30得票数 9

回答已采纳

2回答

对“打结”的解释

haskell、functional-programming、tying-the-knot

在阅读与Haskell相关的文章时，我有时会遇到“打结”这个词，我想我理解它的作用，但不理解它是如何做到的。那么，有什么好的，基本的，简单的解释这个概念吗？

浏览 5提问于2008-12-10得票数 48

回答已采纳

2回答

高阶函数中函数的执行顺序

haskell、happstack

这里有一个问题:当我调用这个函数在每个元组上应用dir时，哪个函数将首先作为dir a b中的b返回，函数seeOther redirectUrlGraphEmail还是seeOther redirectUrlGraphEmail

浏览 2提问于2016-09-01得票数 0

2回答

祈使语言和功能语言调试器的区别

functional-programming、debugging、imperative-programming

命令式语言的调试器通常允许一次只执行一个语句，可以选择输入函数/方法调用或跳过下面的语句。当程序执行暂停时，可以检查程序的当前状态，即：检查局部变量、实际函数参数、全局变量等。由于我从未在生产环境中使用过函数式编程语言，所以我试图弄清楚这种语言的调试器是什么样的。例如：如果没有类似于命令式语言的语句，调试器如何遍历程序？一个设定的断点在哪里？

浏览 0提问于2012-08-23得票数 6

回答已采纳

1回答

寻求关于SICP练习1.5的一些解释

lisp、scheme、sicp

在这本书中，我发现对正常顺序评估的一种描述是：在练习中，我认为p的定义类似于(lambda () (p))，它永远不会扩展为原始操作符，因此永远不会终止。然而，另一方面，在谷歌搜索了这个问题的<

浏览 3提问于2013-04-16得票数 11

回答已采纳

2回答

初学者帮助理解Haskell列表理解语法

haskell、syntax

这是我想要理解的代码。let triple = [ (a,b,c) | c <- [1..10], a <- [1..c], b <- [1..a], a^2 + b^2 == c^2] 我的问题是，Haskell按什么顺序计算每个表达式

浏览 1提问于2015-06-12得票数 1

回答已采纳

3回答

理解Haskell中的延迟计算

functional-programming、lazy-evaluation、haskell

我正在努力学习Haskell，但我被困在理解lazy evaluation上。有没有人可以详细地给我解释一下惰性评估和下面两个案例的输出，以及与下面给出的相关解释x = keyboard input (5)echo y (8)echo y案例2:动态绑定，惰性计算。

浏览 3提问于2011-10-15得票数 8

2回答

Haskell和lazy Monads评估

haskell、monads、lazy-evaluation

现在，我理解了惰性计算的基本概念，但我不明白在Haskell中是如何懒惰地计算monads的。Control.Monadimport System 在我看来，main函数应该打印第一个控制台参数]print <

浏览 0提问于2011-10-17得票数 8

回答已采纳

点击加载更多

扫码

添加站长进交流群

领取专属 10元无门槛券

手把手带您无忧上云

参数传递顺序如何影响Haskell中的惰性计算？

相关·内容