1回答
下面是将ReaderT和Either作为返回类型返回的函数： import cats.data.{ReaderT} ReaderT((map) => map.get(name)
.toRight(List(s"$name
浏览 23提问于2019-03-23得票数 2
回答已采纳
type MapReaderOrOption[A] = ReaderT[Option, Map[String,String], A] 我可以从ReaderT.apply创建它 def f:MapReaderOrOption[Int] = ReaderT(_ => Option(10)) 通过类型丰富和纯方法从A类型： import cats.Applicativedef每次使用ReaderT(..)不太方便。当然
浏览 21提问于2019-06-07得票数 3
回答已采纳
3回答
解读“读者群”
、、、、
我正在通过例子阅读PureScript，并了解了介绍Reader的部分。当上面的示例通过runReader运行时，提供的值如何突然显示为ask的结果？ask的Haskell文档say:检索monad环境。但我的困惑是从哪里来的？
浏览 0提问于2017-10-13得票数 13
回答已采纳
2回答
我认为，我对单数、函子和应用程序有很好的理论理解，但我需要一些实践。为了练习，我有时会从我目前的工作任务中带来一些细节。我在应用程序上结合了一些东西我有两个验证功能：even xInteger现在我要validate :: Integer -> Maybe Integer
浏览 6提问于2016-12-20得票数 6
回答已采纳
如何使用Reader/ReaderT对列表类型使用ask，例如，[(Int, Int)]，然后在list monad (为ask编辑的类型)中执行计算？我的坏代码如下所示，为了清晰起见，缩短了代码：attempt start end =guard $ s0 == start return $ s0 : s
浏览 4提问于2014-06-12得票数 4
回答已采纳
2回答
我很高兴地写了下面的单曲：这是一个表现良好的单元体。ReaderT是monad转换器，state是State monad，AlgRO和AlgState是在i中参数化的数据类型，分别表示可变状态和只读状态。
浏览 0提问于2011-09-14得票数 5
回答已采纳
我有以下代码，取自：data BlogDBException = BlogDBException String deriving:: Blog a -> IO a db <- openConnection "myblog.db"s
浏览 12提问于2017-01-24得票数 2
回答已采纳
但是，在getArgs中调用main，然后通过不使用它们的函数传递参数是很尴尬的。这个例子不是递归的，但希望您能得到这个概念。
浏览 0提问于2019-06-04得票数 9
回答已采纳
请注意，我控制了我提到的所有类型，这使我略微倾向于MonadMask，因为它没有在底部强制执行IO (也就是说，我们可能有一个纯MonadTracer实例)。
还有什么我应该考虑的吗？
浏览 6提问于2017-09-26得票数 15
回答已采纳
我正在构建一个带有服务和持久性的web。我计划定义一些使用连接池访问DB的API端点(大约15个)。然后我想到了ReaderT，因为我认为这可能会将池抽象出来。但我担心的是，ReaderT的引入可能会导致不必要的复杂性：我不确定在这种情况下是否应该使用ReaderT。请提供一些建议(如果您也能提供一些关于何时使用ReaderT甚至其他单台变压器的指导方针
浏览 2提问于2020-08-25得票数 2
module Main (main) where
p1 = putStrLn . ("Apple "++)
p2 = putStrLn . ("Pear "++)
main = do p2 "y"r = do
浏览 0提问于2012-12-14得票数 1
回答已采纳
包装了另一个MonadT，并且这两个are都包装在第三个are中，即ReaderT。a -> a和一个通用的并运行它：runWrap env 1 200 aWrap根据我对如何与MonadT嵌套层进行交互的理解
浏览 0提问于2013-03-26得票数 10
回答已采纳
2回答
由于聚合和合成是相关的，所以我们可以说它提供了对对象或其他任何事物之间关系的理解。
我的基本解释是，聚合表示松散的关系，而组合则表示强烈的关系，并对此有明确的解释。但是面试官侮辱了我，并说，，这是你说的理论概念，你说我想要完美的Java代码，它们有多么不同，并且告诉你，如果我给你一个小的应用程序，那么你如何确定这是聚合，这是组合？所以，现在我想了解纯</
浏览 0提问于2013-11-30得票数 3
1回答
这似乎在使用带有suns java6的windows7和使用sunsjava6的linux的机器上工作得很好，但是在使用相同版本的java的使用windows xp的机器上，这似乎不起作用。
浏览 50提问于2011-04-18得票数 18
1回答
我是个镜头新手，在实现这个类型的Zoom实例时遇到了麻烦： { unMyStateT :: ReaderT (IORef s)$ liftIO . readIORef我一直在尝试创建一个带有镜头子状态的新IORef，在该子状态上运行ReaderT，然后获取更改后的子状态并在主IORef中替换它：
type instance Z
浏览 4提问于2018-02-10得票数 1
回答已采纳
我在试着理解读者的单台转换器。workValue = liftAsync sampleWorkflow}
当对类型推断变量应用默认类型'obj‘时，类型约束不匹配。
浏览 0提问于2020-10-02得票数 3
回答已采纳
1回答
我希望能在理解Monad方面得到一些有用的信息，在这方面，使用do表示法会发生什么。(ProtectedData a) Identity (ProtectedData a) s描述受保护数据的字符串(密码)，a描述受保护数据的类型吗？ s描述受保护数据的类型，如果是，a描述什么？首先，我有问题，掌握效果和结果。
这个函数是用来将密码和数据注入到ReaderIs中的
浏览 0提问于2021-09-05得票数 3
1回答
嗨，我正在构建一个iOS 7应用程序使用AVSpeechSynthesizer和AVSpeechUtterance，我试图找出什么时候合成完成。更具体地说，当合成结束时，我想改变播放/暂停按钮的功能。有人能帮我理解在合成结束时是否有什么方法？提前感谢
浏览 3提问于2014-08-13得票数 0
回答已采纳
2回答
这两种类型的组合都是多态的，所以当您试图为Monad编写绑定时，您试图将两个多态绑定组合成一个组合绑定。事实证明，这是不可能的：{-# LANGUAGE InstanceSigs #-} --不可能。实例(Monad，Monad g) => Monad (组合f )其中返回=纯(>>=) :：组成f a -> (a ->组合f g) ->组合f (>>=) = ?？您还可以阅读MarkP.Jones和撰写的monads1，以了解为什么不可能。
我搞不懂。他什么意思？准确地说，单台变压器是
浏览 4提问于2017-10-19得票数 4
回答已采纳
云服务器
ICP备案
实时音视频
对象存储
云直播
腾讯云开发者
