monads 相关问题

在 Haskell 中我们可以这样定义这两个：数据 Free (f :: Type -> Type) (a :: Type) = Pure a |自由（f（自由f a））数据 Cofree (f :: Type -> Type) (a :: Type) = Cofree a (f (Cofree ...

haskell monads category-theory lean comonad

回答 1 投票 0

为什么`let fmap f = id >=> (好吧<< f)` work?

问如何在F#中使用fish（>=>、Kleisli组合）运算符实现map？几个小时前，'kaefer 的回答让我大吃一惊：让 fmap f = id >=> （好的 << f) It is

functional-programming f# monads

回答 1 投票 0

为什么`let fmap f = id >=> (好吧<< f)` work in F#?

问如何在F#中使用fish（>=>、Kleisli组合）运算符实现map？几个小时前，'kaefer 的回答让我大吃一惊：让 fmap f = id >=> （好的 << f) It is

functional-programming monads

回答 1 投票 0

如何在F#中使用fish（>=>、Kleisli组合）运算符实现`map`？

我正在通过 Scott Wlaschin 的面向铁路的编程帖子学习一元组合。一旦定义了bind、switch和>=>函数，他就引入了map来展示如何“转一个...

f# monads

回答 1 投票 0

Haskell：我刚刚重新发明了什么单子？

我刚刚重新发明了一些单子，但我不确定是哪一个。它允许您对计算步骤进行建模，因此您可以交错进行大量计算的步骤，以找出哪一个首先完成。 {-# 郎...

multithreading haskell monads

回答 5 投票 0

Functor 和 Monads，有没有人对 scala 中的这个主题有很好的解释？

是否有任何资源可以帮助您更好地理解函子和单子。请分享您对函数式编程中的概念有深入了解的资源...

scala monads functor

回答 1 投票 0

收集错误（而不是短路）直到实际使用值为止

什么是最简单但最优雅的方法来不短路并收集错误直到使用它们的值？积累错误有什么难的？仅当函数调用重新时才短路...

haskell error-handling monads applicative semigroup

回答 1 投票 0

Java 函数式编程中具有两个值的 Monad Map

如果这是 FP 的基本问题，请原谅我。让我们考虑可选单子。我知道我可以使用 map 将一个可选值转换为另一个基于函数的可选值（如果可选，则将调用该函数......

java functional-programming option-type monads

回答 1 投票 0

将 Scala 3 中的迭代器列表转换为列表迭代器

哎呀！我正在学习 Scala，并正在阅读《Scala 函数式编程》一书。我一直在玩，发现自己处于这样的情况：我希望能够转动

scala functional-programming monads scala-3

回答 1 投票 0

Haskell 在使用序列运算符后无法推断 monad 的返回类型

以下代码导入 Control.Monad.Writer 类 Foo c 其中 fromInt :: Int -> c 实例 Foo [Int] 其中 fromInt n = [n] 实例 (Monoid c, Foo c) => Foo (Writer c ()) 其中...

haskell monads

回答 1 投票 0

C++23的Optional::transform和Optional::and_then有什么区别？

C++23 添加了一些关于可选值的“一元式”功能，作为可选方法：可选::and_then()（并忽略其限定符）：模板

c++ monads monad-transformers stdoptional c++23

回答 3 投票 0

monads 相关问题

最新问题