Scala Concatenate Map-一个带有选项，另一个没有选项
我有以下输入值 import java.sql.Timestamp import java.lang.{Double => JDouble} val date = Timestamp.valueOf("2021-08-01 00:00:00") val contra…
多个参数的 Reader monad？
是否有一个与 Reader monad 等价的东西，它相当于 a ->; b-> c 而不仅仅是 a -> b。我知道我可以做 (a, b) -> c 但我不确定这是否非常符合人体工程学…
不管组成如何，如果只有一种方法可以将 m(ma) 更改为 ma，我可以说单子吗
Monad 具有以下组件。 a 和 m a 由函子 a - 方法 > 从 a 转换而来m b 箭头以及将 m m 更改为 m箭头组合的 如果有一个结构，无论组合如何，都有 1,2 ，…
迁移到 Dart null 安全：迁移三元运算符 null 检查的最佳实践？单子方法是否太不传统了？
我正在将代码库迁移到 null 安全，其中包含大量如下代码： MyType convert(OtherType value) { return MyType( field1: value.field1, field2: value.…
这种自由（更自由？） monad 的构造有效吗？
在过去的两年里，我对使用免费的 monad 来帮助我解决实际的软件工程问题很感兴趣。并使用一些基本范畴论提出了我自己的自由单子构造。 {-# LANGUAGE R…
使用列表 monad 进行迭代
我无法理解列表 monad 的迭代行为如何从其定义导出。 instance Monad [] where m >>= f = concatMap f m return x = [x] fail s = [] 我读过的讨论似…
使用 monad 计算对列表上的累积和（haskell）
我有一个对结构列表 [("oct",1),("nov",1),("dec",1)] 我想计算对内的总和： [("十月",1),("十一月",2),("十二月",3)]。我认为这是单子实现的一个很好…
我可以说 Monad 可以将某些类型视为同构吗？
Monad 可以将 Just [1,2]（与原始 length 函数采用的类型不同）传递给 > >= 返回 .长度。 Just [1,2] >>= return . length 我可以说 Monad 可以使用 (…
Haskell——理解 writer 类型声明
我正在《Learn You a Haskell for Great Good!》一书中学习 monad。作者：米兰·利波瓦卡。我正在阅读有关 Control.Monad.Writer 模块如何导出 Writer …
Haskell 如何“脱糖”？ getline 在这个 do 块中？
我读过几本关于 Haskell 的书，但还没有编写太多代码，而且我对 Haskell 在某种情况下所做的事情有点困惑。假设我正在使用 getLine，以便用户可以按某…
正确的做法是不使用 Scala 进行理解
背景 我试图将 Scala 的推导式与 Either 类型一起使用，即使用 Right。 然而，尽管我付出了努力，我还是收到错误并且没有任何效果。 代码 我正在使用 …
Haskell 使用 >=> 编写 >>=单子
(>=>) :: Monad m => (a -> m b) -> (b -> m c) -> (a -> m c) bind :: Monad m => m a -> (a -> m b) -> m b -- 如何使用>=>来编写bind？ 我非常困惑…
这是 Haskell IO 的合理观点吗？
这是 Haskell IO 的合理观点吗？ 当给定一个程序时，Haskell 运行时会执行以下操作： 调用 main 来获取“IO 计算”， 然后执行或“运行”该计算，从而…
程序员应该可以使用“occs”吗？
在阅读和实现 FRP 时，我对 Event 上的 occs 函数的语义感到困惑（在 Conal Elliott 的论文中提到）。处理静态（纯）事件时非常简单，但我不明白它如…
