Haskell的State Monads
Haskell的State Monads是一种编程范式，用于处理具有状态（或称为数据）的函数。在Haskell中，State Monads用于处理异步编程中的状态，以避免副作用（side effects）和状态更新时的不一致性问题。
State Monads的主要特点是可以将状态操作和函数组合在一起，以便在函数执行时处理状态，并在需要时返回更新的状态。这种范式适用于需要处理副作用的函数，例如在Web编程中，当用户输入数据时，需要将数据存储在状态中，并在需要时返回给用户。
在Haskell中，State Monads可以通过Monad来实现。Monad是一种抽象数据类型，可以表示一个值的计算，并支持一些操作，例如bind和return。在State Monads中，这些操作被用于处理状态更新和副作用。
State Monads在Haskell中非常常见，并且被广泛用于处理异步编程中的状态。此外，它们也被用于实现Web框架、数据库连接和文件处理等任务。
推荐的腾讯云相关产品：
- 腾讯云云函数（SCF）：这是一个无服务器计算服务，支持快速创建、管理和扩展函数，并提供了多种运行时环境和语言支持。
- 腾讯云云数据库（TencentDB）：这是一个支持多种数据库类型的服务，包括关系型数据库、NoSQL数据库和内存数据库等，可以快速部署和配置，并提供多种管理和操作方式。
- 腾讯云云存储（COS）：这是一个对象存储服务，支持快速上传、下载和管理文件，并提供多种访问方式，包括HTTP、SDK和API等。
- 腾讯云云开发（CloudBase）：这是一个支持多种语言和框架的开发平台，包括Web、移动和IoT等，可以快速构建和管理应用程序，并提供多种云服务支持。
产品介绍链接：
- 腾讯云云函数：https://cloud.tencent.com/product/scf
- 腾讯云云数据库：https://cloud.tencent.com/product/tencentdb
- 腾讯云云存储：https://cloud.tencent.com/product/cos
- 腾讯云云开发：https://cloud.tencent.com/product/tcb
注意：以上链接可能会发生变化，建议访问腾讯云官网进行查看。
相关·内容
在计算Haskell模块中的“导入Control.Monad.State”行时，GHC给出了以下错误：
找不到模块‘Control.Monad.State’：它在多个包中找到:monads-0.0.0.1MTL-1.1.0.2失败，模块加载:无。
我该如何解决这场冲突？
浏览 0提问于2010-01-12得票数 21
回答已采纳
1回答
下面是我在TypeScript中的State的实现，它基于一个规范的Haskell实现。我希望它能得到代码的审查。
class StateMonad<S, A> {
constructor(public runState: (s: S) => ({ s: S, a: A })) {
}
static return_<S, A>(a: A): StateMonad<S, A> {
return new StateMonad(s => ({ s, a }));
}
bind<B>(func: (a: A)
浏览 0提问于2018-04-05得票数 6
嗨，我是Haskell的新手，我一直在用Scotty和Sqlite开发一个小的web应用程序。
我在执行Sqlite操作时遇到了问题。当单独使用时，我对这两个库有一定的理解。
下面是我的代码的MVP
-- imports ...
routes :: ScottyM ()
routes = do
post "data/:id" $ do
id <- param "id"
-- HERE IS WHERE I GET CONFUSED
-- This is what I want to do
浏览 18提问于2017-08-19得票数 2
回答已采纳
是否有任何构建或一些巧妙的方法只从一元结果数组中获取成功或失败的结果？
例如：
state
=> [Failure("12345 Product code is not valid"), Success("eiowruqoiu Backbone Product created")]
哪里
state[0].class
=> Dry::Monads::Result::Failure
state[1].class
=> Dry::Monads::Result::Success
浏览 2提问于2022-05-17得票数 0
回答已采纳
我是Haskell的新手，现在我正在尝试理解Monad和State。
我的任务是编写一个具有以下签名的函数，唯一提供的实现细节是“这个函数只有一个合理的实现”：
f :: [State.State s a] -> State.State s [a]
我不完全理解国家，但我从这个问题中理解的是，从一个国家的列表开始，我想要将它们的呼唤联系起来，这样我最终就会得到一个最终的状态和一系列结果。
尝试这个链接的想法，我甚至不知道如何开始这个概念。我很可能遗漏了一些概念上的东西，也许有人可以给我一些启发？
浏览 5提问于2019-11-22得票数 1
作为一名数学系的学生，当我在Haskell中了解到单子时，我做的第一件事就是检查它们是否真的是我所知道的单子。但后来我了解了monad transformers，而这些似乎不是范畴理论中研究的东西。
特别是，我希望它们与分配法则相关，但它们似乎真的不同: monad transformer被期望应用于任意monad，而分配法则是monad和特定的其他monad之间的事情。
此外，看看monad转换器的常见示例，虽然MaybeT m使用Maybe合成m，但StateT m不是m和State的组合。
所以我的问题是，在分类语言中，monad transformer是什么？
浏览 1提问于2011-07-28得票数 31
在学习Haskell时，我感觉作者并不总是告诉我所有的事情，所以为了真正理解它，我想知道类型系统背后的理论，monads和类似的概念。
这些概念大多来自我听说的分类理论，那么有哪些关于这个主题和相关主题的好书/网站呢？
浏览 10提问于2009-03-22得票数 13
回答已采纳
2回答
Haskell在字符串中加倍字符
、、、、
我基本上被要求把"HelloWorld!“转到“HheellllooWwoorrlldd！”使用仅使用此类型的Haskell函数
stringDub :: String -> String
我不是在寻找一个直截了当的答案，只是一些关于如何去做的建议，因为我对Haskell完全陌生。
提前谢谢。
浏览 1提问于2014-03-12得票数 2
回答已采纳
我不明白Haskell单子背后的确切代数和理论。然而，当我一般地考虑函数式编程时，我得到的印象是，状态将通过获取初始状态并生成它的副本来表示下一个状态来建模。这就像将一个列表追加到另一个列表一样；两个列表都不会被修改，但会创建并返回第三个列表。
因此，将一元操作视为隐式地将初始状态对象作为参数并隐式地返回最终状态对象是否有效？这些状态对象将被隐藏，这样程序员就不必担心它们，并控制它们的访问方式。因此，程序员不会像十分钟前那样尝试复制表示IO流的对象。
换句话说，如果我们有这样的代码：
main = do
putStrLn "Enter your name:"
n
浏览 2提问于2010-05-12得票数 9
回答已采纳
什么是程序设计中的单元化，可以这样解释：
你不需要事先了解Haskell就能理解。
您可以继续在更主流的编程语言(如C++/Java/Scala )中使用或构建这个概念。
基本上，我在网上学习的时候遇到了这个学期。例如，这个Java8Stream教程提到了monads ()。因此，我想以一种有用的方式理解这一基本概念。(与一种愚蠢的方式相反，“把编程想象成橘子，那么单子就是葡萄柚.”)类似的事情)
然而，每一个单一教程似乎需要事先的知识(或试图教你在飞行中)哈斯克尔或哈斯克尔语法。
浏览 0提问于2018-04-16得票数 1
使用mtl，派生MonadState似乎可以正确地提升make state操作：
:set -XGeneralizedNewtypeDeriving
import Control.Applicative (Applicative)
import Control.Monad.Trans ( MonadIO, liftIO )
import Control.Monad.State (MonadState, evalStateT, modify, StateT, gets)
data State = State { int:: Int }
newtype St a = St { unSt :: S
浏览 0提问于2013-07-15得票数 0
回答已采纳
我正在阅读Happstack的，并注意到>>符号，我以前在学习Haskell的教科书中没有看到这个符号(例如，请参见第23行)。那是什么？
我在谷歌上找不到它，因为它完全忽略了>> (必应没有，但出现了大量无关的结果)。
浏览 0提问于2010-02-27得票数 28
回答已采纳
在中，他认为所有的单子都是应用函子。
在Haskell7.7编译器输出中，我看到了以下内容(另一个示例)：
‘’Parser‘是Monad的一个实例，但不是应用性的--这将成为GHC 7.10中的一个错误，根据应用-Monad的建议。
这是否意味着Haskell目前容忍不是应用函子的Monads但计划是纠正这一点？
浏览 5提问于2013-11-17得票数 9
回答已采纳
有没有一些巧妙的Haskell练习列表，以令人惊讶的方式使用monads？我最感兴趣的是简单的“弄清楚这行代码是做什么的”或“使用这个monad在点上做这件事”类型的问题。
浏览 0提问于2011-12-07得票数 11
回答已采纳
我几天前了解到Haskell monads是怎么回事，在.net环境中有没有monads概念的用法？有没有办法在我的c#开发中使用这个概念。
谢谢你的帮助。
浏览 4提问于2010-12-20得票数 5
回答已采纳
我目前正在努力学习Haskell。职能如下：
findPivot :: [[Double]] -> Int
findPivot matrixA =
do
let firstCol = (transpose(matrixA)!!0)
let maxColValue = maximum firstCol
let pivotIndex = elemIndex maxColValue firstCol
return (fromJust(pivotIndex))
应该采用一个表示矩阵的2D双数列表，并确定哪一行在第一列中具有最
浏览 4提问于2014-11-15得票数 5
回答已采纳
有没有等同于Haskell的>>运算符的PureScript标准库？ class Monad m where
...
(>>) :: m a -> m b -> m b
... 显然，它的定义是微不足道的，但如果有库版本，我更喜欢使用它。
浏览 19提问于2020-05-02得票数 2
回答已采纳
我希望将None (或者Haskell的等效于None )返回到这个有效因素列表中，每当我遇到一个无效的数字(当我在模函数中运行它时不返回值0的数字)，我想返回None，这样列表就只包含这些因素。代码中可能有一些错误，我是Haskell的新手，所以您必须原谅草率的代码等等。
自从听说它会起作用以来，我已经尝试过使用return -也许是x，但是我对它没有运气(不过，我可能使用它不正确)。我还考虑过使用某种标准值，并使用seoarate函数过滤出值，但我认为肯定有更好的方法。
import Data.List
import System.IO
checkPerfect x
| x ==
浏览 0提问于2019-09-13得票数 2
回答已采纳
1回答
我对Haskell中不可变变量的概念非常困惑。似乎我们不能改变Haskell中变量的值。但是，当我尝试使用GHCI中的代码时，似乎变量的值确实发生了变化：
Prelude> foo x=x+1
Prelude> a=1
Prelude> a
1
Prelude> foo a
2
Prelude> a=2
Prelude> a
2
Prelude> foo a
3
这是否与不可变变量的概念相冲突？
非常感谢！
浏览 1提问于2016-06-26得票数 13
回答已采纳
2回答
我想在Haskell中创建我自己的单曲，让Haskell像其他在monad中构建的一样对待它。例如，下面的代码用于创建一个monad，它在每次调用全局状态变量时更新某个全局状态变量，以及一个用于计算调用quot函数次数的评估器：
-- define the monad type
type M a = State -> (a, State)
type State = Int
-- define the return and bind operators for this monad
return a x = (a, x)
(>>=) :: M a -> (a ->
浏览 6提问于2014-10-22得票数 5
回答已采纳
我最近开始了解函数式编程(在Haskell和Scala中)。它的功能和优雅是相当迷人的。
但是当我遇到Monads时，我惊讶和高兴地看到我从数学中学到的理论知识被用于编程。
这种观察给我带来了一个问题:组、字段或环(参见 )是否可以用于编程，以实现更抽象和代码重用的目的，并实现类似数学的编程？
据我所知，名为的语言(当它的编译器完成后，我肯定会比任何语言更喜欢它)在它的库代码中定义了这些结构。但到目前为止，我看到的仅用于数值类型，这是我们已经熟悉的。它们还有其他用途吗？
致以最好的问候，ciun
浏览 4提问于2010-07-26得票数 17
回答已采纳
Hackage有几个用于单台变压器的包：
：Monad变压器库
：混凝土函子和单片变压器
：Monad类，使用函数依赖项
：Monad类，使用类型族
：一组单台变压器。
：使用类型族的Monad变压器库。
：模块化Monad变压器库
：带有类型索引的Monad转换器库，提供“免费”副本。
：可组合的单片变压器
(也许我漏掉了一些)
我们该用哪一种？
mtl是Haskell平台上的一个，但我经常在reddit上听到它不酷。
但选择有什么坏处，不是好事吗？
嗯，我看到了，例如，数据访问器的作者必须做出所有这些来迎合流行的选择：
数据访问器-monad
浏览 5提问于2010-05-04得票数 96
回答已采纳
我想做一个简单的单位转换器，我写道：
value :: String -> Float
value "mg" = 0.001
value "g" = 1
value "dag" = 10
value "kg" = 1000
value "t" = 1000000
main = do
putStrLn "enter the number: "
numbr <- getLine
putStrLn "enter the unit: "
uni
浏览 0提问于2013-01-05得票数 1
回答已采纳
从功能上与Haskell思考(第248页)：
您可以认为State s a类型是
型态s a=s -> (a，s)
..。
:：s -> State s () get :：State s‘s state :：(s -> (a，s)) -> State s a
. state可以使用put和get定义：
状态f= do {s <- get；设(a，s') =f s；put s'；返回a}
我相信可以这样改写：
get >>= \s ->
let (a,s') = fs in
put s'
浏览 6提问于2017-02-27得票数 2
回答已采纳
我一直在逐步学习Haskell，甚至觉得我已经掌握了monads的诀窍。然而，仍然有许多更奇特的东西我几乎不懂，像箭头，应用程序等。虽然我正在从我见过的Haskell代码中挑选一些零碎的东西，但如果能找到一个真正完整地解释它们的教程，那将是一件好事。(似乎有许多关于monad的教程..但一切似乎都会在那之后直接结束！)
浏览 4提问于2010-07-14得票数 33
回答已采纳
我想把指纹放在后面
"foo" match {
case str => println(str)
}
或
List("foo") foreach print
有没有其他最好的？
就像在Haskell中
return "foo" >>= print
浏览 6提问于2018-11-29得票数 0
我用Haskell的wikibook和我自己的新手实验在haskell学习单子
作为我的第一步，我使用伟大的库(由Danielíaz编写)复制了这本书中与monads相关的部分到我自己的PDF中，同时轻松地阅读这样的硬文本(因为它的内容很难)。
下面是我第一次尝试实践我学到的:一个函数的7个版本，该函数接受一个列表并从该列表中返回一个随机元素。
现在我的主要问题是，我是否应该使用作为“移除元素”部分？我读过它们是用来混合单曲的，我知道我将使用国家单曲和列表单曲
除此之外，我的代码上的任何评论都将受到感谢(风格的评论最多，因为monads是关于用样式编写的？:P)。
import System.
浏览 1提问于2016-01-08得票数 1
回答已采纳
2回答
Haskell 2010报告说
do表达式为提供了一种更为传统的一元编程语法。它允许一个表达式，例如
putStr "x：“>> getLine >>= \l ->返回(单词l)
以更传统的方式写成：
做putStr "x：“l <- getLine返回(单词l)
汤普森的函数式编程技巧Haskell说
我们将继续使用do表示法，但要记住，它本质上是，它归结为一个函数(>>=)的存在，它执行I/O程序的排序工作，并将其结果绑定到将来使用。
以上是否意味着在monad的上下文中必须使用Do符号？
如果是，为什么下面的
浏览 2提问于2019-07-24得票数 2
回答已采纳
1回答
为什么在Control.Monad.Reader中有一个“读取器”和一个“Control.Monad.Reader”？包文档讨论Reader，然后直接进入MonadReader文档，没有任何解释。这些单元组之间有什么区别？读这些参考书让我非常困惑。有趣的是，Haskell wikibook的Reader页面还没有写好！
浏览 4提问于2016-09-07得票数 5
回答已采纳
我才刚刚开始学习Haskell。我读到过它是一种纯函数式语言，其中的所有内容都是不可变的。因此，像输入、输出、写入和读取数据库这样的事情会导致状态的可变性。我知道在Haskell中有一种叫做monads的东西，它允许使用Haskell中的命令式功能，比如IO Monad。但我感兴趣的是，Haskell中的一切都是在monads的帮助下实现的吗？在HackageDB上有很多可以处理3D图形、数据库、解析超文本标记语言、编写web服务器等等的软件包。
这一切背后的一般想法是什么？是什么允许Haskell保持纯净，同时适用于编写所有这些内容？我希望有人能为我说清楚这一点。提前感谢！
浏览 5提问于2013-04-05得票数 6
回答已采纳
众所周知，IO Monad在Haskell中将纯代码与不纯代码分开，因此像f :: ... -> IO ?这样的签名代表了一个有副作用的操作，否则它是一个纯函数。
此外，monads在Haskell中被用作一种纯函数机制来对操作进行排序，否则可能会被设计为仅处理纯函数的编译器意外地重新排序。
围绕monads的设计的问题是，对于许多人来说，它们似乎很难理解，可能包括我自己，所以我想知道它们是否是在软件开发中区分纯代码和不纯代码的最佳方式。
我猜想，如果我们有一种语言，所有的原语都被标记为纯和不纯的，编译器可以很容易地直接或间接地使用这些原语来推断任何函数的纯度，这将是一个简单得多的设计。
浏览 5提问于2015-09-15得票数 1
1回答
我正在做一个1-10k行的personal Haskell项目，我正在使用各种IO库，比如Pipes.Concurrent催生的Network.HTTP.Conduit inside workers。
我刚刚意识到其中一些IO库在边缘情况下会抛出异常。
GHC有没有办法在编译时警告我未捕获的异常？找出库可能抛出的异常的最佳方法是什么？
谢谢!
浏览 2提问于2018-03-18得票数 4
我只写了这段代码：
(defn parameters [transform-factory state]
(lazy-seq (let [[r1 state] (uniform state)
[r2 state] (uniform state)
[t state] (transform-factory state)]
(cons [t [r1 r2]] (parameters transform-factory state)))))
(defn repeated-transform [mo
浏览 0提问于2012-04-27得票数 7
回答已采纳
4回答
我在Haskell中有一些经验，目前正在学习Scala。我想知道Scala中是否有等同于Monads的东西？？
浏览 1提问于2010-02-10得票数 8
回答已采纳
我使用xmonad作为窗口管理器，我喜欢它。但是，对我来说，这个配置有点复杂，因为我只是把代码片段复制在一起，让它做我想做的事情。问题是我不理解它使用的大部分haskell代码。
那么，什么文献，教程或在线讲座推荐学习足够的haskell语法和概念来理解和掌握xmonad配置。我的问题的重点不是如何学习haskell，而是什么是实现我的目标的最小和最有效的方法。
最理想的是haskell课程，它用xmonad-config中的例子解释haskell的语法和概念，但我没有找到这样的教程。
我只找到了一个视频的链接，但它似乎不再可用了：
浏览 8提问于2013-10-13得票数 4
1回答
我正在构建一个多Agent系统(MAS)框架来描述Haskell中的信念-愿望-意图(BDI)代理(即Agent是并发的，通信一元行为)。
我在网上进行了彻底的搜索，但除了一份关于未完成工作的技术报告( )之外，我找不到任何类似作品的参考资料。
您知道现有的BDI代理的实现或研究论文可以用Haskell或任何其他功能语言定义吗？我的目标是找到可能的相关工作，所有可以管理并发智能代理系统的功能语言。我不需要任何具体的东西，我只想知道我的工作是否与现有的方法有共同之处。
编辑：我成功地找到了对的引用，这是一种lisp方言，它支持一种非常接近于参与者模型的代理编程形式，但它并不意味着直接支持BDI
浏览 1提问于2012-03-27得票数 8
回答已采纳
3回答
我在Haskell有个密码。
import Data.List
main = do
putStrLn $ "\nVerify if Exists in a String"
let wordlist = ["monad", "monoid", "Galois", "ghc", "SPJ"]
let tweet = "This is an example tweet talking about SPJ interviewing with Galois"
浏览 2提问于2015-02-10得票数 5
回答已采纳
我必须阅读n时代，然后把它放在一个列表中。我有下面的代码，但不起作用。任何Haskell/功能专家可以给我点火吗？
replicateIO n a = do y <- a
if n < 0
then return []
else do ys <- (replicateIO n-1 a)
return [y:ys]
编译错误：
tres.hs:1:1: error:
Couldn't matc
浏览 4提问于2017-12-05得票数 0
回答已采纳
1回答
所以我对Haskell很陌生，我可能会问一个非常愚蠢的问题。我试图运行以下代码：
asdf :: Maybe a -> Maybe a
asdf k = do
return $ case k of
Nothing -> Nothing
Just x -> Just x
我知道这基本上是fmap，只有返回才是没有意义的。我实际上想做的是
vote :: PostId -> Bool -> Maybe (Int, Int)
vote id v = do
p <- runSQL $ P.
浏览 2提问于2017-07-31得票数 0
回答已采纳
monad结构如何帮助保持纯度(在Haskell中)，同时做不纯净的事情？例如，当你给出print "Hello"时，你是在执行纯代码还是不纯代码？这是一个非常微妙的细节，但有助于更好地理解函数式语言中纯净和不纯的概念。
浏览 1提问于2013-01-10得票数 7
3回答
Haskell的优点之一是能够使用中缀表示法。
1 : 2 : 3 : [] :: Num a => [a]
2 + 4 * 3 + 5 :: Num a => a
但当操作员需要抬起时，这种动力突然而悲哀地丧失了。
liftM2 (*) (liftM2 (+) m2 m4) (liftM2 (+) m3 m5)
liftM2 (:) m1 (liftM2 (:) m2 (liftM2 (:) m3 mE))
为了重新获得这种能力，可以定义类似的运算符
(.*) = liftM2 (*)
(.+) = liftM2 (+)
(.:) = liftM2 (:)
m1,
浏览 0提问于2011-10-12得票数 9
回答已采纳
1回答
我正在为文法创建一个库，它将有两种不同的解释: 1)基于语法分析字符串；2)生成由语法定义的语言中的字符串。
该库使用cats将语法的AST创建为一个自由monad。然而，它似乎并不是完美的匹配，因为免费的monad创建了我的AST的列表表示，这对于语句列表很好，但是语法远不是语句列表，而是更接近于任意的树结构。
我通过使用~操作符来表示两个连接在一起的语法，从而成功地实现了我的树。AST就是一个语法列表，这些语法本身就是任意的AST。
我的问题是:在自由monad中递归AST的子树的好方法是什么？
我当前的实现
def parserInterpreter: GrammarA ~> P
浏览 0提问于2016-10-10得票数 8
我正试着用Haskell编写游戏nim，但是有些东西不工作，我不知道为什么。我有两个函数getRow和getNumber (它们都使用getInt，我也包含了它)，getRow按照我想要的方式工作，但是使用getNumber我得到了sobe错误，它不想加载。
getInt :: Int
getInt = do
s <- getLine
read s
getRow :: [Int] -> (Int,Int)
getRow board = do
putStrLn "Give me row number "
row <- getInt
i
浏览 0提问于2013-12-06得票数 0
有人能帮我把下面的代码从happs“翻译”成happstack吗？
module Main where
import HAppS.Server.AlternativeHTTP
import HAppS.Server.HTTP.AltFileServe
import Control.Monad.State
import Numeric
import Contracts
instance FromData ExContr where
fromData = do c <- look "contract"
arg1 <- lo
浏览 11提问于2016-03-05得票数 4
我研究Scala (以及扩展的Haskell )已经有一段时间了，我完全被它们的类型系统和函数范式所吸引。最近，我偶然发现了“类型级编程”，并被拖入了函数式函数和其他我没有听说过的东西(除了Monad，我知道它是一种神秘的性质，但不知道如何利用它！)。我研究了Haskell中的概念(顺便说一句，我被它的类型系统和类型推断能力迷住了)，在纯技术层面上，我对类型是函数器、PointedFunctor、ApplicativeFunctor或Monoid意味着什么有一定的把握(我甚至在技术层面上仍然不知道什么是Monad )，但我感觉自己像个笨蛋，因为我认为所有这些都没有用，除了可能获得了一些概念的良
浏览 0提问于2012-10-09得票数 4
8回答
对于那些在Haskell和一些Lisp风格中都有经验的人来说，我很好奇，用Haskell和Lisp编写代码是多么“令人愉快”(使用一个可怕的术语)。
一些背景:我现在正在学习Haskell，之前我使用了Scheme和CL (以及对Clojure的一些尝试)。传统上，你可以认为我是动态语言的拥趸，因为他们提供了简洁和快速的语言。我很快就爱上了Lisp宏，因为它给了我另一种避免冗长和样板的方法。
我发现Haskell 非常有趣，因为它向我介绍了一些我不知道存在的编码方法。它肯定有一些方面似乎有助于实现敏捷性，比如编写部分功能的易用性。然而，我有点担心失去Lisp宏(我想我失去了它们；说实话，我可能
浏览 6提问于2008-12-25得票数 104
我用Haskell编写了一个简单的fibonacci函数，它使用State来保存重叠子问题的解决方案。现在，尽管函数在工作，但我对解决方案并不满意，特别是对上一次地图查找而言。如何改进我的解决方案？谢谢。
module Lib (
fib
) where
import Control.Monad.State
import Data.Map (Map)
import qualified Data.Map as Map
import Data.Maybe
type DP = Map Int Int
fib :: Int -> State DP Int
fib 0 = retur
浏览 0提问于2020-06-17得票数 2
回答已采纳
6回答
每当有人承诺“解释单子”时，我的兴趣就被激怒了，但当所谓的“解释”是一长串例子时，我的兴趣被沮丧所取代，因为一些随意的评论结束了“深奥的想法”背后的“数学理论”，“在这一点上解释起来太复杂了”。
现在我提出了相反的要求。我对范畴理论有一个扎实的理解，我不怕追逐图表，Yoneda的引理或派生函数式(确实是在范畴意义上的单体和附加词)。
谁能给我一个清晰而简洁的定义，什么是函数式编程中的monad？例子越少越好:有时一个清晰的概念胜过一百个胆小的例子。尽管我并不挑剔，但Haskell作为一种演示语言会做得很好。
浏览 80提问于2011-11-22得票数 51
回答已采纳
我试图像这样导入Control.Monad.Writer模块：
import Control.Monad.Writer
ghc版本7.4.1提供了以下错误：
Ambiguous module name `Control.Monad.Writer':
it was found in multiple packages: monads-tf-0.1.0.1 mtl-2.1.1
有一个类似的问题和解决的方法。
尽管在这个帖子中给出了解决方案，但我的问题是：
这是阴谋集团和ghc的标准配置吗？
如果是这样的话:默认情况下，模块是否存在于两个包中？
如果没有:发生了什么(可能
浏览 0提问于2014-01-15得票数 6
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
