1回答
因此，我构建了一个新的实现，它使用来自标准scala库的TailRec，这为它提供了：type TailRecWithState = TailRe
浏览 4提问于2017-12-20得票数 2
回答已采纳
为什么Scala的标准库中的一些方法是用可变状态实现的？例如，作为scala.Iterator类的一部分的find方法实现为 var res: Option[A] = None方法实现，可能类似于 def findRec(e: A): Option[A] =
浏览 0提问于2013-04-23得票数 2
2回答
我在Haskell的书里读到关于单台变压器的书。
那Monad呢？组成两种具有Monad实例的任意数据类型没有问题。我们在使用时已经看到了这一点，两者都定义了Monad实例。然而，这样做的结果并没有给你一个Monad。这个问题归结为缺乏信息。这两种类型的组合都是多态的，所以当您试图为Monad编写绑定时，您试图将两个多态绑定组合成一个组合绑定。事实证明，这是不可能的：{-# LANGUAGE InstanceSigs #-}
浏览 4提问于2017-10-19得票数 4
回答已采纳
我想在Scala中实现我自己的兼容理解的单子和函子。maybe flatMap( a => 3 * ( a map ( () => 2 * a ) ) )另一个单曲就像这样的功能合成我希望能够在Scala中<
浏览 1提问于2016-03-03得票数 14
回答已采纳
作为一名数学系的学生，当我在Haskell中了解到单子时，我做的第一件事就是检查它们是否真的是我所知道的单子。但后来我了解了monad transformers，而这些似乎不是范畴理论中研究的东西。特别是，我希望它们与分配法则相关，但它们似乎真的不同: monad transformer被期望应用于任意monad，而分配法则是monad和特定的其他monad之间的事情。此外，看看monad转换器的常见示例，虽然May
浏览 1提问于2011-07-28得票数 31
3回答
当我设计一个新的应用程序时，这是我经常面临的一个问题。我将用一个示例问题来解释这个问题。
类PlayerList{私有PlayerList实例；私有PlayerList ()
浏览 5提问于2009-09-01得票数 9
3回答
我想在scala中和相邻的元素，我不知道如何处理最后一个元素。val x = List(1,2,3,4)res1: scala.collection.immutable.IndexedSeq[AnyVal] = Vector(3, 5, 7, ())
如果我试图对集合的元素或另一种数值方法进行求和scala中是否有更好的方法可以在不使用foor循环的情况下完成这类相邻和？
浏览 1提问于2015-03-25得票数 7
回答已采纳
2回答
函数程序设计中的测试
、、、
在面向对象编程中，我有对象和状态。因此，我可以模拟一个对象的所有依赖项并测试该对象。但是函数编程(尤其是纯函数)是关于合成函数的。假设我有代码g = h1 ∘ h2 ∘ h3 ∘ h4。我应该只测试函数g吗？但这是集成/功能测试。只进行集成测试是不可能测试所有分支的。单元测试呢？当一个函数需要更多的参数时，它变得更加复杂
浏览 5提问于2015-02-18得票数 13
2回答
如何在F#中组合状态和延续单体
、、、、
我正在尝试使用Task Parallel Library对树求和，其中子任务仅在树被遍历到一定深度之前生成子任务，否则将使用延续传递样式对剩余的子节点求和，以避免堆栈溢出。然而，代码看起来相当丑陋--使用状态单子来携带当前深度会很好，但状态单子不是尾部递归的。或者，我如何修改延续单子来携带状态？或者创建状态和延续单体的组合？)
cont (leftTask.Result + righ
浏览 5提问于2012-06-28得票数 3
一个是@tailrec注释，据说它会导致编译器做一些不同的事情，或者特别努力地尝试尾递归。另一种方法是实际更改函数签名以返回TailRec[T]，然后使用TailCalls.done和TailCalls.tailcall函数包装返回值。
有什么关系？当编译器似乎能够为我做这件事时，是否有任何理由使用TailRec？
浏览 0提问于2017-05-03得票数 1
回答已采纳
4回答
我的想法如下：{ def is_in_tailrec, acc: Boolean) : Boolean = as match case Nil => acc; }
浏览 4提问于2019-11-29得票数 1
回答已采纳
3. 5.09901951 2. ]返回值的含义是什么
浏览 2提问于2016-06-08得票数 6
回答已采纳
这里最能表达直觉的是：where| "oddity(Succ (Succ n)) = n"partial_function (tailrec) oddity :: "nat => nat" "oddity arg(Succ (Succ n)) =&g
浏览 4提问于2014-08-13得票数 2
回答已采纳
2回答
我尝试在中使用延拓传递方式实现尾调用优化以遍历树形线结构.不幸的是，我以前在方面的经验并没有多大帮助。continuation, action), action) }} @annotation.t
浏览 4提问于2013-11-23得票数 0
如何以良好的、功能强大的方式优化下面的代码？(1,2,3,4,5).foldLeft(0) { if(acc > 5) acc }
这当然是一个简单的例子，我在问一般的方法，如果我们知道累加器不会改变，如何不迭代所有的集合
浏览 0提问于2021-01-27得票数 0
我在java和kotlin中有两个几乎相同的代码。return val t = s[j] s[i] = t}
java代码通过了大量输入的测试，但是kotlin代码会导致StackOverFlowError，除非我在kotlin中的helper函数之前添加了tailrec关键字。我想知道为什么这个函数在java中工作，在tailrec中也适用于柯林，而在没有tai
浏览 3提问于2019-12-23得票数 14
回答已采纳
2回答
我需要将(很多JSON文件的)组合成一个.json所有的JSONS都有以下结构。在每一个“单子”之后，应该有一个逗号，来分开。
浏览 3提问于2021-11-22得票数 1
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
