monads 相关问题

编程中的monad是可组合的计算描述。 Monads是Haskell等函数式编程语言中的重要构造。

我正在尝试按照本文在 Haskell 中创建一个解析器。我使用了 Pragma {-# Language NoImplicitPrelude #-}。这是为了让我能够毫无困惑地开发 Monad 类...

haskell functional-programming monads interpreter

回答 1 投票 0

我有类型数据 EvalATree b a = 叶 a |节点 ([b] -> a) [EvalATree b a] 我已经编写了 Show 和 Foldable 实例，“编辑：”认为 a = b 实例（显示a，显示a）=>显示（EvalATree...

haskell tree monads

回答 1 投票 0

这是 Haskell 实现中的一个错误吗？

在研究 MaybeT 的 Haskell 实现时，我偶然发现了一个有趣的问题。某些函数执行产生的结果与我的预期不同。我不确定这是一个错误还是

haskell functional-programming monads

回答 1 投票 0

在F#的计算表达式中定义新的关键字

F# 3.0 beta 包含一个带有大量新关键字的查询 {} 计算表达式。如何在计算生成器中定义自己的关键字？

f# monads computation-expression f#-3.0

回答 2 投票 0

Maybe Monad 会在“Just or Nothing”中崩溃吗？

在阅读它们之前，我尝试实现一个 monad，我只是对 Monad 的概念有一种“感觉”。我在 All about Monads 上读到 Just 和 Nothing 是函数，而不是 Monad 的类型，b...

python functional-programming monads monoids

回答 1 投票 0

如何在同一个 do 表达式中使用两个不同的 monad？

为了练习我的 Haskell，我决定编写一个小的 JSON 解析器。在主文件中，我调用解析器的不同部分，打印结果，以便我有更多调试信息，然后编写

haskell monads

回答 1 投票 0

用于链接和终止操作序列的函子或单子的名称和存在性

我正在查看 Folktale 和 monet.js 等库，我喜欢能够使用 map 链接操作而无需进行 null 检查或 if 语句，例如使用也许，要么，任务。我想知道是否...

javascript functional-programming monads terminology functor

回答 1 投票 0

如何编写通用 Monad 定律测试？

给出定义：特征函子[F[_]]：扩展名 [A](fa: F[A]) def map[B](f: A => B): F[B] 特征 Monad[F[_]] 扩展 Functor[F]： def 单位[A](a: => A): F[A] 扩展名 [A](fa: F[A]...

scala functional-programming monads scala-3

回答 1 投票 0

为什么允许在带有两个 monad 值的函数上使用 `ap`，而不是在包装在 monad 中的函数上？

这是haskell代码： zip与比较 `ap1` 尾部在哪里 zipWith :: (a -> b -> c) -> [a] -> [b] -> [c] 比较 :: a -> a -> 排序 ap :: Monad m => m (a -> b) -> ...

haskell monads

回答 1 投票 0

关联计算树的 Monad 实例

我的数据类型是关联计算树数据 EvalATree b a = 叶 a |节点 ([b] -> a) [EvalATree b a] 为此类型编写了 Functor 和 Applicative 实例函子 (EvalATree b) 其中 ...

haskell tree monads

回答 1 投票 0

如何在计算表达式中定义自定义运算符

我想在我的计算表达式上定义一些自定义运算符，但无法使其工作类型 ZipSeq() = [")>] 成员 this.Apply f s = ...

f# monads custom-operator

回答 1 投票 0

如何使用 `liftIO` 和 State 来打印 Monad 内的值？

我尝试使用 MonadIO 类中的 liftIO 函数在 State monad 内打印：导入 Control.Monad.State 导入 Control.Monad.IO.Class 导入 Control.Applicative facHelper :: 整数 -...

haskell monads

回答 1 投票 0

Haskells 绑定运算符和 >> 运算符及其关系

我最近发布了一个关于 >> 运算符的问题，因为尽管我已经阅读了 LYAH walk the linee 部分，但我的理解仍然存在一些差距。下面是一些代码/MVE...

haskell functional-programming monads side-effects

回答 1 投票 0

Ocaml 可添加号码

我正在学习Ocaml，从我为论文学习的一点Haskell中学习，我想知道是否有类似的机制（类型类）来表达2个数字是可加的（就像一个泛型.. .

haskell functional-programming ocaml monads

回答 1 投票 0

Haskell 映射到 Either 的右值

我有一个类型 Either a [b] 和一个函数 f :: (b -> c) 如何在 Either a [b] 类型的值上使用 f 来获取 Either a [c] ？

haskell monads either

回答 1 投票 0

如何在 Haskell 的 SDL2 绑定中绘制随机放置的矩形？

我正在尝试使用 Haskell 在 SDL2 中绘制随机放置的矩形。 IO monad 真的快把我逼疯了，我无法让它工作。我已经准备好了 SDL2 样板代码和自定义

haskell random sdl monads

回答 1 投票 0

Monadic 日志函数利用“using”关键字写入文件

这里有一个新的上下文管理器。 with 悄然消亡，所以自然是时候重新品牌和复兴了:) 设置：看着新的 using 关键字，我立即发现了一个场景，它会......

javascript typescript google-cloud-platform monads using

回答 1 投票 0

理解 Haskell 中的 RWST

我研究了这个，试图理解几个 Transformer monad 是如何相互作用的，特别是更好地理解 monad 的 lift 和 stacking。对于在这里找到的 RWST 单子（我...

haskell functional-programming monads monad-transformers state-monad

回答 1 投票 0

并行 Haskell。对生产者进行速率限制

在Haskell中的并行和并发编程中，Simon Marlow提供了一个基于以下数据的Stream a，以及一些生产者和消费者：数据列表a = 无 |缺点 (IVar (ILi...

haskell parallel-processing monads

回答 3 投票 0

Haskell 中的 Reader Monad。读者作为参数传递到哪里？

在这个 monad reader 示例中：导入 Control.Monad.Reader 汤姆::读者字符串字符串汤姆 = 做环境<- ask -- gives you the environment which in this case is a String return (env ++ "

haskell monads

回答 1 投票 0

monads 相关问题

最新问题