Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
ST monad 是如何工作的?
我知道 ST monad 有点像 IO 的弟弟 而 IO 又是添加了状态 monadRealWorld魔法 我可以想象状态 也可以想象 RealWorld 以某种方式放入 IO 中 但每次我写一个类型签名ST the sST monad 的
Haskell
monads
简单 Haskell Monad - 随机数
我正在尝试扩展代码这个帖子 https stackoverflow com questions 3944170 haskell and state 接受的答案 允许我能够基于以种子作为参数的函数 randomGen 调用 randomGen
Haskell
Random
State
monads
randomseed
Scala中有类似Java Stream的“peek”操作吗?
在Java中你可以调用peek x gt println x 在 Stream 上 它将对每个元素执行操作并返回原始流 这与 foreach 不同 foreach 是 Unit Scala 中是否有类似的东西 最好是适用于所有 Monady
scala
javastream
monads
Haskell 中的 print 是纯函数吗?
Is print在 Haskell 中是纯函数 为什么或者为什么不 我认为不是 因为它并不总是返回与纯函数应返回的值相同的值 类型的值IO Int并不是真正的Int 它更像是一张纸 上面写着 嘿 Haskell 运行时 请生成一个Int如此
Haskell
IO
monads
iomonad
purefunction
使用 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
1
2
3
4
5
6
...10
»