状态Monad混合IO和非IO

文章/答案/技术大牛

发布

1回答

haskell、monads

我尝试使用State Monad来处理简单的变量，并且它起作用了。但在这里，我似乎是在尝试混合IO和非IO。由State Monad管理数组的意图。我想要读写这个数组。value-table";} value :: BoardState -> IO* Couldn't match expe

浏览 8提问于2017-03-05得票数 0

回答已采纳

1回答

haskell中的制造简单函数

haskell

我在试图将下面的C代码块转换为Haskell时遇到了困难。 if(num != 0) else}

浏览 3提问于2014-05-08得票数 0

回答已采纳

1回答

FRP框架和IO

haskell、frp、reactive-banana

，我想知道这对他们是否常见，如果是反应性香蕉，为什么要在IO monad中操作，而不是被限制在MonadIO或更好的地方，任何Monad (这样我就可以提供自己的堆栈)？在我看来，这似乎是因为对GUI编程的关注，在那里，您将它与一些在IO中操作的现有库集成在一起？更改它是否可行，这样我就可以将它与自定义的monad堆栈集成起来了？

浏览 4提问于2014-10-25得票数 10

回答已采纳

3回答

我如何在Haskell中以隐藏的方式初始化状态(就像PRNG一样)？

haskell、monads、state-monad

我看了一些关于State monad的教程，我想我明白了。: Int)61非常感谢!

浏览 2提问于2009-07-13得票数 4

回答已采纳

1回答

管道与国家的“运行”

haskell、haskell-pipes

我有个制片人：runEffect $ for p processMessageprocessMessage :: Message -> Effect IO ()。如何使用以下内容实现有状态处理： processMessage :: Message -> Effect (StateT MyState IO) ()？

浏览 0提问于2021-02-17得票数 0

回答已采纳

1回答

自定义类型的Monad和MonadIO

haskell、monads、monad-transformers、io-monad

我的代码看起来像import Control.Monadimport Control.Monad.IO.ClassApplicative Logger where (<*>) = ap logContent a = do b

浏览 1提问于2018-08-18得票数 1

4回答

Haskell:如何在一个国家的基础上编写交互式的解释器？

haskell、interpreter、interactive、monads、state-monad

我们正在开发一个内部使用状态monad的模型文件系统。解释器中的操作可以这样编写：Operation和Response的定义并不重要；如果您愿意，可以将它们作为字符串。如果IO是FS的一个实例(也就是说，如果我们直接使用IO monad)，那么生活将很简单:我们可以编写loop currentDir = domonad

浏览 5提问于2010-07-08得票数 17

6回答

当我开始学习monads的时候，我的印象是它们是神奇的，它们以某种方式使IO和其他非纯函数变得纯粹。我还意识到需要限制代码中的状态性和隔离外部依赖关系，我希望monad也能对此有所帮助。但我最终得出的结论是，对于Haskell来说，用于IO和处理状态的monads是必需的，因为Haskell没有其他方法可以做到这一点(否则，您无法保证排序，有些调用将被优化)。但是对于更主流的语言来说，monads并不适合这些需求，因为大多数语言已经很

浏览 7提问于2014-01-26得票数 18

回答已采纳

1回答

Haskell使用monad作为一种全局变量

haskell

我使用G.play来启动游戏：main = dolet world = startWorld rand (displayMode我在网上搜索，不知道如何实际使用Monad.State来帮助我处理这个全局变量。

浏览 10提问于2018-02-25得票数 0

1回答

打印到控制台并以相同的功能更新Monad状态

haskell、functional-programming、monads

Variable,Int)] class Monadm => MonadError m where但是我不知道如何执行IO副作用<em

浏览 0提问于2018-12-15得票数 1

回答已采纳

1回答

在交互式命令行提示期间维护状态

haskell、recursion、io、state、monads

我想写一个玩具程序，它有一个交互式提示，可以保存和显示所有以前的输入。这是我的第一次尝试，但没有编译(使用ghc)： import System.IOmain = do should_continue <- parse_input "Enter your command."Actual type: <e

浏览 20提问于2020-10-04得票数 2

回答已采纳

3回答

带有ForkIO的stateT

haskell

MyTypeState = MyTypeState {_counter :: Int} unMyType :: StateT MyTypeState IO(MyTypeResult a) (>>=) = myTypeBind return = myTypeReturn

浏览 7提问于2013-08-14得票数 3

回答已采纳

2回答

从非一元函数中获取随机数

haskell、random、monads、type-signature

所以我的目标是能够调用一个非一元函数，并让它返回一个随机值。getNums :: [Int] -- this only works when the type signature is "IO [Int]"getListFromIO n = do return $ generateList n gen但是，每个调用它的函数都必须使用IO</e

浏览 2提问于2016-01-10得票数 0

回答已采纳

2回答

作用域管理-状态IO Monad？

java、functional-programming、functional-java

我已经成功地实现了我的IO Monad版本，并且我正在为我的内核编写IO操作。它基本上是将对象序列化为Xml文件( object类型扩展了自定义XmlWritable接口)。不幸的是，为了做到这一点，需要创建一个OutputStream实例和一个XmlSerializer实例。OutputStream的范围比XmlSerializer的范围更广，这意味着在我的IO monad中能够正确处理两个生命周期的唯一方法是将它们都放在一个元组中，在使用XmlSerializer编写代码后关闭这导致

浏览 2提问于2013-10-30得票数 0

3回答

可以不使用自定义类型来模拟StateT的行为吗？

haskell、monads、monad-transformers、state-monad、io-monad

如果我们有以下两个函数，即加和减，那么将它们链接起来对输入进行一系列计算是很简单的：add n = state $ \x -> ((),x+n)subtract 3 --etc --result is 9-- prints 7, then 4, then 9 在没有StateT或任何自定义数据类型的情况下，可以复制这种“组合计算和打印

浏览 5提问于2015-01-30得票数 0

3回答

ST monad是如何工作的？

haskell、monads

我知道ST monad有点像IO的弟弟，IO反过来又是增加了RealWorld魔力的状态monad。我可以想象状态，我可以想象RealWorld以某种方式被放入IO中，但每次我编写ST的类型签名时，ST monad的s都会让我感到困惑。我只

浏览 4提问于2012-09-18得票数 80

回答已采纳

1回答

嵌套do块中的混淆类型不匹配错误

haskell、interpreter

type EvalState = () --for latereval ::Expr -> EvalResult 结果类型是这样的，因为它是状态的，eval应该能够执行IO，并且它可能会失败。有两种数据类型:表达式和值，以及eval将表达式转换为值。我的想法是这样的:第一个do将我置于State中，所以我应该能够从mapM eval elems中“提取”结果，我希望它是[ IO

浏览 4提问于2022-06-09得票数 4

回答已采纳

1回答

IO操作如何在F#上工作

haskell、f#、functional-programming、monads

haskell上有一个IO monad来保持它的纯净。我知道f#/ocaml支持可变状态，但IO操作实际上是如何工作的。haskell的IO monad对应的概念是什么？

浏览 2提问于2014-05-26得票数 1

回答已采纳

3回答

如何在do表达式中返回True或False - Haskell

haskell、io

module Main (main) where else return False• Couldn't match expected type ‘Bool’ with actual type ‘IO

浏览 0提问于2018-06-28得票数 0

1回答

Haskell:如何在RWS单曲中严格地产生副作用

haskell

我的指针是RWS monad中的一个状态，但是当我试图更改状态时，由于懒惰，函数不会被调用。如何确保函数被调用？module Main where unwrapOuterMonad :: RWST () () () <e

浏览 2提问于2014-02-27得票数 2

回答已采纳

点击加载更多