作为一个初学者，我觉得Reader/Write/State Monad很难理解。而Monad Transformers的难度更大。我没有看到它们在其他语言中的用法，这使得我很难将它们与我现有的web开发经验联系起来。
有没有可能用初学者友好的Haskell构建一个与Postgres对话的Restful API？这意味着不需要使用像Monads&
浏览 1提问于2018-07-17得票数 1
回答已采纳
1回答
我试图在函数式反应性编程上遵循，但我还是停留在4.2节的第二个例子中。在启动和运行读取器转换器时，我得到了第一个示例：import Control.Monad.Trans.MSF.Reader我不知道如何正确地引入编写器转换器，因为我甚至无法编译它：import Control.Monad
impor
浏览 1提问于2019-02-22得票数 1
回答已采纳
1回答
我探索了几个不同的实现：
这是一个State [Error] a monad，其中错误添加了cons (:)，最后我在错误列表中调用reverse以获得实际的顺序。一个Writer (Endo [Error]) a monad，我可以在其中添加Endo (e :)错误。不过，我担心的是身份函数的所有无用连接。一个Reader (MVector s Error) (ST s a)
浏览 1提问于2019-01-22得票数 3
回答已采纳
免责声明:我对Haskell的无知几乎是完美的。对不起，如果这是非常基本的，但我找不到答案，甚至是这样的问题。而且我的英语也没那么好。据我所知，如果在系统中有一个与文件系统交互的函数，则该函数必须使用IO monad，并且具有类似于IO ()的类型。在我(仅面向业务的)经验中，系统通常与文件系统交互，以便使用业务数据读取/写入文件，并进行日志记录。
<e
浏览 3提问于2014-07-11得票数 6
回答已采纳
我有一个关于使用transformer堆栈的异常的问题。我正在尝试开发一些网络软件，特别是在S5接口上实现GTP控制协议。我发现很难让异常在转换器堆栈中工作。Control.Monad.Trans.Except中的throwE/catchE。但是，当与我的transformer monad一起使用时，throwE甚至无法编译，如下所示：
apnCfg &
浏览 4提问于2018-03-26得票数 1
1回答
读取文件的行，排序和返回中间元素
、、、、
我对Haskell的IO有点陌生，虽然我经常阅读它，但我的代码仍然无法工作。
到目前为止，这是我的代码。我可以保证函数“中间”在传递字符串时运行良好。readFile $
浏览 3提问于2013-08-25得票数 0
回答已采纳
3回答
在许多情况下，我不清楚通过将两个单体与一个转换器结合而不是使用两个单独的单元组来获得什么。显然，使用两个单独的单数是一个麻烦，可能涉及do表示法中的do表示法，但在某些情况下，它的表现力不够吗？有一种情况似乎是列表中的StateT :组合monads并不能获得正确的类型，如果您确实通过诸如Bar这样的单变量堆栈获得正确的
浏览 2提问于2016-08-02得票数 23
回答已采纳
一些搜索结果表明，可以通过使用Trampoline monad而不是IO来避免异常，但这似乎不是一个很好的解决方案-牺牲功能纯度来完成程序。解决这个问题的明显方法是使用IO或Trampoline作为Monad Transformer来包装另一个，但我找不到它们的transformer版本的实现，而且我也不是一个知道如何编写自己的函数式编程大师(了解更多关于FP<e
浏览 3提问于2013-04-22得票数 11
回答已采纳
我发现(->) r的(->) r实例很难理解。irc的一些人提到了一个用于扩展其他人包中的一些多态函数的用例。我记不起他到底是什么意思了。这里有一个与他所说的有关的例子，但我看不出问题所在。有谁能给出另一个关于MonadReader用于(->) r的例子吗？
浏览 4提问于2020-01-27得票数 1
回答已采纳
4回答
我正在学习Haskell，并且正在为一个类实现一个算法。它工作得很好，但这个类的一个要求是，我需要对两个数字相乘或相加的总次数进行计数。这就是我在其他语言中使用全局变量的原因，我的理解是Haskell对此深恶痛绝。
一种选择是让每个函数只返回此数据及其实际结果。但这似乎并不有趣。我是否可以创建一个数据类型(Double, IO)，然后使用函数器来定义跨(Double, IO)的乘法
浏览 9提问于2011-02-26得票数 2
回答已采纳
我写了一个使用列表理解的递归算法来执行递归。我认为我的代码清晰易读，并且它产生的结果是正确的。我发现很难将我的非一元代码转换成一元代码。最终，我让它正确编译和运行，但单行代码比原始代码更不容易理解。原来的问题太复杂了，无法在这
浏览 0提问于2018-02-13得票数 5
在我的业务领域-金融机构的后台IT -软件组件携带全局配置，记录其进度，出现某种错误处理/计算短路，这是非常常见的……可以由Haskell中的Reader，Writer，或者可能是monad之类的东西很好地建模，并与monad transformers组合在一起。但似乎有一些缺点: monad转换器背后的概念相当棘手和
浏览 2提问于2010-05-04得票数 54
回答已采纳
6回答
我看过各种报纸/文章/博客，还有一些不是关于Monad的东西。人们在不同的语境中谈论它们，比如范畴理论(在世界上是什么？)在经历了所有这些并试图真正理解和编写一元代码之后，我认识到monad只是语法糖(可能是其中最受推崇的)。无论是Haskell中的do表示法，还是F#中的计算表达式，甚至LINQ选择多个运算符(记住LINQ语法在</e
浏览 19提问于2011-08-30得票数 18
回答已采纳
我正在写一些代码( Metropolis-Hastings MCMC采样器)，它将使用随机数生成器，并基于此修改数组和可能的其他结构。我最初的想法是使用ST monad，这样我就可以使用ST数组和mersenne-random-pure64包，将PureMT生成器作为状态的一部分。我的直觉是将所有状态分组到一个可以在任何地方访问的数据类型中，就像我通过定义一个新的
浏览 0提问于2011-08-10得票数 8
回答已采纳
2回答
在浏览transformer包时，我发现了一个名为的monad转换器。尽管我了解Identity monad是如何使用的(例如，State只是StateT Identity的别名)，以及monad转换器的一般工作原理，但我不知道这与IdentityT有什么关系。由于它不在MTL中，我猜它只是为了完整性而添加在那里，没有实际用途。对吗？
浏览 0提问于2012-02-03得票数 12
回答已采纳
2回答
在阅读时，我无意中发现了以下代码：在试图理解第一行中的Writer w是什么时，我发现这不是一个完整的类型，而是一种带有1参数的类型构造函数，比如Ma
浏览 3提问于2016-02-10得票数 7
回答已采纳
5回答
在我学习Haskell的方法中，我开始掌握monad的概念，并开始在我的代码中使用已知的monad，但从设计者的角度来看，我仍然很难接近monad。在OO中有几个规则，比如对象的“识别名词”，观察某种状态和接口……但是我找不到与monad相同的资源。
那么，如何将问题识别为性质单一的<
浏览 2提问于2012-01-08得票数 42
回答已采纳
2回答
我在Haskell的书里读到关于单台变压器的书。
那Monad呢？组成两种具有Monad实例的任意数据类型没有问题。我们在使用时已经看到了这一点，两者都定义了Monad实例。然而，这样做的结果并没有给你一个Monad。这个问题归结为缺乏信息。这两种类型的组合都是多态的，所以当您试图为Monad<
浏览 4提问于2017-10-19得票数 4
回答已采纳
假设tell = flip mappend应该是二次型的，但这将使这个Writer实例变得非常无用。如果是这样的话，还能做些什么来提高性能呢？我想到了在Control.Monad.Free.Church和Control.Monad.Codensity中使用的技巧:应该有可能重新分配mappend调用，就像Codensity reassociates
浏览 4提问于2016-09-07得票数 3
回答已采纳
云服务器
ICP备案
云直播
腾讯会议
实时音视频
腾讯云开发者
