haskell - Monad 和计算机程序的结构和解释-6ren

haskell - Monad 和计算机程序的结构和解释

转载作者：行者123 更新时间：2023-12-02 18:34:31

24

4

我在搜索SICP第二版书籍时没有找到“Monad”这个词。 SICP 的哪些概念(或章节)与 Monad 相关？

最佳答案

SICP 中没有任何内容明确涉及 monad:这本书是在任何人将 monad 概念正式化之前编写的，因为它与计算机编程相关(这里忽略 monad 的数学概念，这是另一回事)。但是，书中的某些内容无论如何都是单子(monad)的:例如，无论您是否知道，列表都是单子(monad)。

关于haskell - Monad 和计算机程序的结构和解释，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/34488132/

24

4

0

文章推荐： mysql - 如何将Flask应用程序容器与MySQL服务器容器连接？

文章推荐： unicode - 将表情符号从十六进制代码转换为 unicode

文章推荐： sockets - 哪些进程间通信方法适用于终端服务器？

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

商城

haskell - Monad 和计算机程序的结构和解释