4回答
最近一直困扰着我的一个简短问题。Haskell是否在返回布尔值的函数中执行所有等价测试，即使返回的值为false？或者是Haskell懒得不去做而继续前进？
浏览 2提问于2009-11-22得票数 20
回答已采纳
GHC(和Haskell的一般情况下)派生的Eq实例是否有一个短路，当我比较同一数据类型的实例时，它会触发吗？我的计划是读取一个延迟的数据结构(比如一棵树)，更改一些值，然后比较旧版本和新版本，创建一个diff，然后将其写回文件。如果出现短路，那么当发现新结构引用旧值时，比较步骤就会中断。同时，这将不会从文件中读取更多的
浏览 4提问于2012-10-09得票数 8
回答已采纳
我知道这个问题已经被问过了，但是我不敢相信没有一个直接的答案。我知道把副作用隐藏在(&&)里面是不好的，但在我的例子中，副作用只是在外面的世界中检查一些东西(文件的存在，检查修改时间等等，询问用户是/否)。那么，haskell是这样的方式是什么，这样如果cond2是假的，就不会执行cond1。lazzy评估的一个优点是它不仅对硬编码的&&短路</em
浏览 7提问于2014-11-23得票数 6
回答已采纳
Haskell的懒惰评估比急切的评估采取更多的评估步骤。我以为按名字叫大致相当于懒散的评估。那为什么时间保证会有这样的差别呢？
我猜想Haskell语言可能指定在评估过程中必须使用回忆录；但是在这种情况下，Scala为什么不这样做呢？
浏览 2提问于2017-01-22得票数 11
回答已采纳
1回答
我正在构建一个名为Haskell interpreter的调用，并希望实现一个函数short :: Val -> Exp -> Error Val，该函数将计算应用于表达式的值。我不想评估短路的布尔二元运算符(即((&&) False)和((||) True)) )的第二个参数，也不想评估传递给单位λ(\() -> ...)抽象的参数。在像Haskell这样的懒惰语言中，我知道Prelude中
浏览 0提问于2012-12-03得票数 1
回答已采纳
2回答
两节课前，我们的教授向我们介绍了一个分析模块。a -> Parser [a]many1 p = liftM2 (:) p (many p)
今天，他给了我们一项任务，介绍“(+++)的左偏或短路版本他的暗示是让我们考虑(+++)的最初实现。1)如果我使用原来的实现，该模块将不会编译。3)一旦我知道如何检查第一个解析器是否返回任何内容，如果我要将我的代码建立在最终实现的基础上，它会像这
浏览 3提问于2013-11-08得票数 1
回答已采纳
2回答
我正在尝试构建一个Haskell函数，它与Prelude的product功能基本相同。但是，与该函数不同的是，它应该具有以下两个属性：
myProduct :: (Eq n, Num n) =>
浏览 0提问于2019-03-14得票数 7
回答已采纳
1回答
短路算子与尾递归
、、、
假设我有这样一个简单的函数： if (len < 1) return TRUE;
return *bools &&我的问题是:如果一个编译器足够聪明地将第二个优化为尾递归调用，那么在"&&“短路的情况下，期望它以同样的方式对第一个进行优化是否合理呢？显然，如果使用非短路操作符，这将不是尾递归的，因为这两个表达式都会在运算符应用之前进行计
浏览 2提问于2011-12-15得票数 6
回答已采纳
标准的Haskell是延迟计算的，因此如果myCondition为真，if myCondition then someValue else doSomeLargeComputation x y z将避免计算我的问题是，如果我启用了语言扩展XStrict，那么即使myCondition为真，doSomeLargeComputation x y z现在也会被计算吗？如果是这样的话，除了显式地将doSomeLargeComputation x y z标记为惰性之外，还有什么控制流构造可以用来避免计算它(就像严格语言中的<
浏览 16提问于2019-08-04得票数 9
回答已采纳
9回答
从左到右表达式求值
、、、、
在C#中，是否保证表达式的计算顺序是从左到右？例如：if (myClass == null || myClass.Property > 0) 是否有不符合要求的语言？
浏览 12提问于2008-12-03得票数 6
回答已采纳
我正在寻找一个等价于在Java中使用流。 public static Boolean or(Stream<Boolean> bs) { } public static Boolean or(Stream<Boolean> bs) {
if (b0.isPresent
浏览 3提问于2015-06-25得票数 2
回答已采纳
3回答
在Haskell中，我只是写道：然而，我找不到一种在Scala中进行简单干净的函数组合的方法。我找到的最短路径如下：def upperCaseOrNull = Strin
浏览 2提问于2014-03-14得票数 7
在我的业务领域-金融机构的后台IT -软件组件携带全局配置，记录其进度，出现某种错误处理/计算短路，这是非常常见的……可以由Haskell中的Reader，Writer，或者可能是monad之类的东西很好地建模但似乎有一些缺点: monad转换器背后的概念相当棘手和难以理解，monad转换器导致非常复杂的类型签名，并且它们会造成一些性能损失。所以我想知道:在处理上面提到的那些常见任务时，m
浏览 2提问于2010-05-04得票数 54
回答已采纳
3回答
具有递归和列表理解的素数生成器
、、、、
我是Haskell编程的新手，很难理解下面的列表理解是如何扩展的。有人能告诉我sieve扩展是如何工作的吗？由于我们在sieve中是模式匹配，p将与来自[3..]的2和x相关联。
接下来，在列表理解x<-3中，但是当没有短路的时候，我们怎么能用3来调用筛子呢？我
浏览 4提问于2014-11-29得票数 3
回答已采纳
2回答
也许，或者是单曲，短路，和性能
、、、、
，在第214页，引用了与Haskell's Either相同的expected<T,E>单曲，内容如下
如果您调用mbind等价于包含错误的expected上的Haskell的>>=，mbind甚至不会调用转换函数；只会将该错误转发给结果。这似乎是在“调整”之前写的东西。(我很确定或在某个地方强调没有
浏览 2提问于2020-09-17得票数 3
回答已采纳
我目前正在阅读"Haskell Programming from first paragraph“，其中有一段是关于底部的，内容如下：
Prelude>设x=x在这里，GHCi检测到，让x=x在x中永远不会返回，并且短路了永无休止的计算。这是一个底部的考试，因为它永远不会返回一个结果。请注意，如果您使用的是Windows，则此示例可能会冻结
浏览 0提问于2019-06-04得票数 3
回答已采纳
2回答
函数范式中嵌套循环的迭代过程
、、、、
我正在学习函数式编程(用Haskell语言)，通过重写一些旧的C++代码。我正在研究的一个例子是，Floyd图搜索，它运行在2D NxN邻接矩阵上，以找到所有对之间的最短路径。它使用三个嵌套的for循环来扫描2D数组并迭代地得到一个解决方案。例如，上面的代码是非常连续的；它只能在一定程度上并行，因为有些计算在其他计算完成之前是无法完成的。
此外，访问矩阵的索引意味着可以在数组中进行一些巧妙的操作。我知道Has
浏览 1提问于2017-04-03得票数 2
回答已采纳
我特别想了解K序曲(它是如何构造的，为什么它的内容是那样的，"kompile“是如何计算依赖关系的，等等)。主要问题是:将K序曲中的钩形符号复制到生成的Kore文件中的标准是什么？下面是一些潜在问题的例子：
符号andBool是与其关联的重写规则一起复制的，而符号in_keys的情况似乎并非如此，它只是在没有重写规则的情况下被复制。
浏览 4提问于2022-02-14得票数 0
4回答
据我所知，C对逻辑表达式使用延迟计算，例如在表达式中。如果g(x)为false，则不会调用f(x)。
但是算术表达式呢？
浏览 5提问于2013-10-06得票数 3
回答已采纳
云服务器
ICP备案
云直播
腾讯会议
实时音视频
腾讯云开发者
