Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
将 A => M[B] 转换为 M[A => B]
对于一个单子M 是否可以转A gt M B into M A gt B 我尝试过遵循这些类型 但没有成功 这让我认为这是不可能的 但我想我还是会问 另外 搜索 Hooglea gt m b gt m a gt b 没有返回任何东西 所以我没
scala
Haskell
types
monads
scalaz
如何使用非类型化语言中的 Reader Monad 在整个组合中隐式地线程化参数?
我知道裸读者单子仅包含两个功能 const chain g gt f gt x gt f g x x const of x gt gt x 但我对它如何工作或如何应用没有任何直觉 知道 is 用于在整个组合中隐式地线程化参数并没有多大帮助
javascript
functionalprogramming
monads
composition
如何用bind来定义apply?
在 Haskell 中 Applicatives 被认为比 Functor 更强 这意味着我们可以使用 Applicative 来定义 Functor 例如 Functor fmap a gt b gt f a gt f b fmap f
Haskell
monads
functor
applicative
如何不使用 Do 符号来书写
我正在研究可组合的失败 并设法编写了一个具有签名的函数 getPerson IO Maybe Person 其中一个人是 data Person Person String Int deriving Show 它有效 我将其写在 do 符号
Haskell
monads
composition
应用部分比 Monad 部分可以更好优化的 monad 示例
在一次讨论中我听说Applicative一些解析器的接口的实现方式不同 但比它们的更有效Monad界面 原因是与Applicative在运行整个有效计算之前 我们提前知道所有 效果 对于 monad 效果可能取决于计算期间的值 因此这种优化
performance
Haskell
monads
applicative
针对 unsafePerformIO 的部门限制
工作中有人讨论过将其作为一项全部门政策 禁止使用unsafePerformIO及其同类 就我个人而言 我并不介意 因为我一直认为 如果我发现自己想要使用它 通常意味着我需要重新考虑我的方法 这个限制听起来合理吗 我似乎记得在某处读到它主要是
Haskell
codingstyle
monads
unsafeperformio
从 Cats 理解并行类型类
有一个类型类叫做Parallel in Cats 此类的目的是为一些不支持开箱即用并行计算的 monad 提供并行计算 例如Either例如 我知道Monad用于相关计算 因此需要顺序执行 Applicative用于独立计算 因此此类计算可
scala
monads
scalacats
在 Scala 中处理 monad 时出错?尝试与验证
scalaz Validation据说比Trymonad 因为它会累积错误 有没有什么场合你可以选择Try over scalaz Validation or scalaz 支持的最重要论据Try是它在标准库中 这也是used在标准库中 例
validation
scala
errorhandling
monads
scalaz
comonad 的简洁总结。 (其中 monad 是“不纯计算的类型”)
就简洁的总结而言 这种对 Monad 的描述似乎胜出 https stackoverflow com questions 2488646 why are side effects modeled as monads in haskell 将
monads
categorytheory
comonad
展平单子栈
所以我的第一个严肃的 haskell 项目中到处都有这样的代码 f MonadTrans t gt ExceptT t StateT A B C f do mapExceptT lift do lift do lift do r lt re
Haskell
monads
monadtransformers
lifting
更改使用模式匹配的 do 表达式来应用绑定运算符
原问题 利亚 在对于更多的 Monad http learnyouahaskell com for a few monads more显示此功能 solveRPN String gt Maybe Double solveRPN st do
Haskell
monads
是否可以使用连续传递样式将此递归函数转换为尾递归函数?
我最近写了一个ETL 效果很好 我想提醒自己如何使用免费的 monad 因此想将我的 ETL 转换为这样的 注意 我的目的不是写一个更好的 ETL 而是让自己重新熟悉免费的 monad 在重新学习自由单子如何工作时 我偏离了这个问题的主题
recursion
F
monads
tailrecursion
为什么绑定的参数有责任统一其值?
典型的单子bind函数具有以下签名 m a gt a gt m b gt m b 据我了解 我很可能是错的 该功能 a gt m b 只是一个结构的映射函数a到另一个b 假设这是正确的 这就引出了一个问题 为什么bind的签名并不简单 m
Haskell
functionalprogramming
monads
我应该避免使用 Monad 失败吗?
我对 Haskell 相当陌生 并且慢慢地意识到 Monad failure 的存在有问题 现实世界哈斯克尔警告不要使用它 http book realworldhaskell org read monad transformers htm
monads
Haskell
将状态与 IO 操作结合起来
假设我有一个状态单子 例如 data Registers Reg data ST ST registers Registers memory Array Int Int newtype Op a Op runOp ST gt ST a in
Haskell
State
monads
矩阵作为应用函子,不是 Monad
我遇到examples https stackoverflow com questions 7220436 good examples of not a functor functor applicative monad不是 Monad 的
Arrays
scala
monads
applicative
categorytheory
Haskell 将 Hom Functor/Monad 称为什么?
我想在我的代码中使用它 并且不想重复它 但由于它只涉及大量通用单词 如 函数 或 组合 我无法通过搜索找到它 完全具体地说 我正在寻找 instance Functor x gt where fmap f p f p 这是基本的读取器 或环
Haskell
monads
functor
为什么验证不是 Monad?
一个示例用例 def div2 i Int Validation String Int if i 2 0 Validation success i 2 else Validation failure odd def div4 i Int f
scala
monads
scalaz
scalaz7
为什么默认情况下不使用 Control.Monad.Instances 实现 (->)
我正在读书LYAH http learnyouahaskell com functors applicative functors and monoids 它说我需要显式加载Control Monad Instances使以下语法起作用 f
Haskell
monads
functor
Scala Futures 如何与 flatMap 链接在一起?
我正在 Scala 中首次使用 Futures 并且正在研究使用 flatMap 组合器的示例 我一直在关注这个讨论 http docs scala lang org overviews core futures html http doc
scala
monads
Future
«
1
2
3
4
5
6
...10
»