functional-programming - Java 8 monad 中的流是什么？-6ren

functional-programming - Java 8 monad 中的流是什么？

转载作者：行者123 更新时间：2023-12-03 14:15:47

24

4

好像是 Optional in Java 8 is a monad .

Streams 也是单子(monad)吗？

任何人都可以识别可选单子(monad)中的内仿函数和两个自然变换吗？

最佳答案

编辑下面的答案是不正确 (保留在这里作为历史)。

Yes, in each case the functor consists of the class and its map method, and the two natural transformations are of and flatMap(identity).

正确答案似乎是 here .

关于functional-programming - Java 8 monad 中的流是什么？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/20943094/

24

4

0

文章推荐： maven - 向现有 IntelliJ 模块添加 Maven 支持不可用

文章推荐： wordpress - 将开发数据库与生产合并的最佳方法是什么？

文章推荐：从 R 中以 sudo 身份运行系统命令？

monads - 为什么要为 monad 定义单位自然变换——这不是 monad 是内仿函数的定义所暗示的吗？
monad 被定义为类别 C 上的内仿函数。假设 C 具有类型 int 和 bool 以及其他构造类型作为对象。现在让我们考虑在这个类别上定义的列表 monad。根据它的定义，list 是一个内仿函
haskell - 整理 Monads - 将 monad 转换器的应用程序转变为新型 monad
我试图采取例如ExceptT a (StateT A M) , 对于某些具体类型 A和单子(monad)M ，并将它们包装到我的新自定义单子(monad)中。首先我确定StateT A M经常出现在
haskell - 使用 monad 转换器和恒等 monad 派生基础 monad
我读到(例如 here 和 here )所有基本单子(monad)(Mabye, Error, ...) 源自其相应的 monad 转换器(MaybeT, ErrorT, ...) 使用身份 mona
monads - 具有两种状态变量类型(输入和输出)的状态单子(monad)仍然是单子(monad)吗？
Haskell 的状态单子(monad) State s a迫使我保持相同类型的 s在整个做 block 期间。但是由于 state monad 实际上只是一个函数，如果我将它定义为 State
free-monad - 自由单子(monad)只是带有接口(interface)的单子(monad)吗？
我一直在阅读some materials on free monads而且我真的不认为我离实现更近了，但我认为我更接近于理解它们是什么! 鉴于上述大量资源，我的理解是自由单子(monad)从“计算”工
haskell - 如果其中一个 monad 包装在 monad 转换器内，是否可以重用 monad 组合函数？
假设我有一个由两个 monad 操作组成的函数: co::Monad m => m a -> m a -> m a 您可以将 co 视为一个高阶函数，它描述两个单子(monad)操作如何相互协作来完成
monads - 为什么验证会违反 monad 法则？
在 SO解释了为什么像 scalaz、cats (Scala) 或 Arrow (Kotlin) 中的 Validation 不能是 monad。据我所知，这是因为他们已经根据应用仿函数对 mona
monads - 我应该避免使用 Monad 失败吗？
我对 Haskell 还很陌生，并且慢慢地意识到 Monad fail 的存在有问题。真实世界的 Haskell warns against its use (“再一次，我们建议您几乎总是避免使用失败
monads - Monad 变压器 – 显式提升
我正在阅读现实世界 Haskell 中的 monad 转换器。在以下示例中，堆栈为 Writer在顶部State在Reader之上在IO之上。 {-# Language GeneralizedNewt
f# - Pause Monad - monadic 类型应该是什么样的？
我看到的典型 Pause monad 实现如下所示(基于 Giulia Costantini 和 Giuseppe Maggiore 编写的 Friendly F# 的第 5 章)。 open Sys
haskell - Monad 与 Monad 变压器
“Monads 允许程序员使用顺序构建 block 来构建计算”，因此它允许我们组合一些计算。如果是这样，那为什么下面的代码不能运行呢？ import Control.Monad.Trans.Stat
haskell - monad 变压器内 monad 的结果
这是我第一次认识 Monad Transformers，所以答案可能很明显。假设我在 StateT MyMonad MyType 类型的 do 块中，我想让另一个相同类型的函数修改状态并返回 MyM
scala - 类型构造函数是单子(monad)还是有单子(monad)？
人们通常说类型是单子(monad)。在某些函数式语言和库(如 Scala/Scalaz)中，您有一个类型构造函数，如 List 或 Option，您可以定义一个与原始类型分离的 Monad 实现。所
haskell - 在单子(monad)变压器类型类中使用列表单子(monad)？
我的目标是创建一个函数，该函数在 ReaderT WriterT 堆栈或 RWS 堆栈中使用 list monad。更一般地说，我如何在 mtl 类型类(如 MonadReader、MonadWrit
haskell - 是否有一个单子(monad)的术语也是一个共单子(monad)？
我只是想知道是否有一个简洁的术语来表示既是单子(monad)又是单子(monad)的东西。我做了一些搜索，我知道these structures exist ，但我还没有找到他们的名字。最佳答案在
haskell - 当两个单子(monad)都没有变压器时合并两个单子(monad)？
我正在玩写一个网络应用程序。在这种情况下，我使用 scotty和 redis ，但是这个问题出现在任何 web/db 组合中。在此之前我使用了 happstack，所以我也喜欢那里的一个例子。 Sco
haskell - 单子(monad)的自由单子(monad)
是 x >>= f相当于 retract (liftF x >>= liftF . f) ? 也就是说，从同样是 Monad 的 Functor 构建的自由 monad 的 monad 实例是否将具有
haskell - monad 和 monad 函数的类约束
我正在尝试编写一个只能包含 Num 的新 monad。当它失败时，它返回 0，就像 Maybe monad 在失败时返回 Nothing 一样。这是我到目前为止所拥有的: data (Num a)
haskell - 在任意 monad 中带有解释器的操作 monad
我正在使用 operational monad作者:海因里希·阿普菲尔姆斯。我想用结果类型的 monad 参数化解释器。我的代码的以下版本编译: {-# LANGUAGE GADTs #-} im
haskell - 如何使用自由单子(monad)来表达延续单子(monad)？
假设所有的 monad 都可以用 Free 来表示。 (如果这不是真的，什么是反例，为什么)？怎么可能the continuation monad或其对应的变压器用 Free 表示或 FreeT -

首页

博学

6Ren·AI

商城

functional-programming - Java 8 monad 中的流是什么？