Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
使用 Promise 语法编写同步代码有什么好处吗?
有同步承诺这样的概念吗 使用 Promise 语法编写同步代码有什么好处吗 try foo bar a b bam catch e handleError e 可以写成类似的东西 但使用同步版本then foo then bar bind
javascript
promise
monads
GHC 可以为 monad 转换器派生 Functor 和 Applicative 实例吗?
我正在尝试实施MaybeT本着mtl图书馆 使用这个非编译解决方案 LANGUAGE FlexibleInstances MultiParamTypeClasses UndecidableInstances import Control M
Haskell
monads
ghc
monadtransformers
有没有办法从 IO monad 中解开类型?
我有这个非常简单的功能 import qualified Data ByteString Lazy as B getJson IO B ByteString getJson B readFile jsonFile readJFile IO
Haskell
IO
monads
iomonad
Scala 中的 Reader monad:返回、本地和序列
我正在使用ReaderScala 中的 monad 由scalaz https github com scalaz scalaz图书馆 我对这个单子很熟悉正如 Haskell 中定义的 https wiki haskell org All
scala
monads
scalaz
readermonad
在 F# 中的 Choice 之上构建 Either(或 Result)
我根据 Scott Wlaschin 中的信息构建了一个成功 失败的 monadblog http fsharpforfunandprofit com posts computation expressions wrapper types
F
monads
“实例显示状态”无法编译
这是我试图弄清楚的 State Monad 代码 data State a State Int gt a Int instance Monad State where return x State c gt x c State m gt g
Haskell
monads
statemonad
“Alternative”中的模式匹配
我有一个函数 它的参数进行模式匹配以生成计算StateT Maybe 可以这么说 此计算在运行时可能会失败 在这种情况下 我希望当前的模式匹配分支失败 我非常怀疑是否有可能有类似的东西 compute Int gt StateT Maybe
Haskell
patternmatching
monads
证明 Applicative 和 Monad 的序列定义的等价性
我怎样才能正确地证明这一点 sequenceA Traversable t Applicative f gt t f a gt f t a sequenceA pure sequenceA x xs pure lt gt x lt gt s
list
Haskell
monads
applicative
equivalent
将 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
1
2
3
4
5
6
...10
»