编写器Monad嵌套两次
是指在函数式编程中，使用Monad编写器嵌套两层的情况。Monad是一种用于处理副作用和处理纯函数外部状态的编程范式。它提供了一种将多个操作链接在一起的方式，使得代码更加简洁和可读。
在编写器Monad嵌套两次的情况下，通常会使用两个不同的Monad类型来处理不同的副作用或状态。这种嵌套的结构可以帮助我们在处理复杂的业务逻辑时保持代码的可组合性和可扩展性。
编写器Monad嵌套两次的一个常见应用场景是处理异步操作和错误处理。例如，我们可以使用一个Monad类型来处理异步操作，比如Promise Monad，另一个Monad类型来处理错误，比如Either Monad。通过将这两个Monad嵌套在一起，我们可以在异步操作中处理错误，并且保持代码的清晰和可读性。
在腾讯云的产品中，与编写器Monad嵌套两次相关的产品是云函数（Serverless Cloud Function）。云函数是一种无需管理服务器即可运行代码的计算服务。它可以帮助开发者更轻松地处理异步操作和错误处理，提高开发效率和代码质量。
腾讯云云函数产品介绍链接地址：https://cloud.tencent.com/product/scf
相关·内容
使用管道，我试图为或类型编写一个实例。这就是我得到的：
instance MonadTransControl (ProxyFast a' a b' b) where
data StT (ProxyFast a' a b' b) a = StProxy { unStProxy :: ProxyFast a' a b' b Identity a}
liftWith = undefined
restoreT = undefined
我不知道如何编写liftWith或restoreT。其他monad转换器的实例都使用“交换”monad的函数，
浏览 2提问于2013-07-07得票数 2
回答已采纳
我正在尝试学习如何用Scala编写更多的函数式代码，但是我发现很难不从一元结构中提取值，而是使用map/flatmap等来操作值。当使用单个monad时，这是很容易的，但是我如何缩放它来使用下面的结构。
例如，在JsResult中转换值的惯用方法是什么
Option[Future[JsResult[LoginResponse]]]
浏览 0提问于2016-10-02得票数 3
我有两个函数，一个尝试从webservice获取令牌并可能失败，另一个尝试使用此令牌获取用户名，可能失败。
getToken :: IO (Maybe Token)
getUsername :: Token -> IO (Maybe String)
我想把getToken的结果反馈给getUsername。如果只有IO或Maybe，我可以简单地使用bind，但是由于存在向下嵌套的monads，所以我不能。我如何编写类似于getToken >>= getUsername :: IO (Maybe String)的东西？
更广泛地说，哪种函数具有m1 m2 a -> (a
浏览 0提问于2015-01-29得票数 16
回答已采纳
列出一份名单：
scala> import scala.concurrent.Future
import scala.concurrent.Future
scala> import scala.concurrent.ExecutionContext.Implicits.global
import scala.concurrent.ExecutionContext.Implicits.global
scala> val names: Future[List[String]] =
Future.successful( List("Joe Fo
浏览 3提问于2015-08-24得票数 4
回答已采纳
2回答
我想创建一个自动机类型，其类型如下：
newtype Auto i o = Auto {runAuto :: i -> (o, Auto i o)}
我知道这是的类型，但我不是在找箭头。我想把它变成一个单曲，所以大概它会有一个类似的类型
newtype Auto i o a = ???? What goes here?
具有这样的功能：
yield :: o -> Auto i o i
因此，当我在Auto中调用"runAuto“函数时，”“函数将返回一对由参数组成的”产生“和延拓函数。当应用程序调用延续函数时，参数将在monad中返回，这是“产生”的结果。
我知道这将需要
浏览 2提问于2015-07-11得票数 5
回答已采纳
我有一个一般性的问题和一个更具体的案例问题。
一般情况下，如何组合不同的monads？monad运算符的某种组合允许简单的组合吗？或者，是否必须编写ad-hoc方法来组合每一对可能的monad？
作为一个具体的例子，我编写了一个可能的monad。如何使用IEnumerable<IMaybe<T>>呢？除了在LINQ扩展中手动挖掘可能的monad之外(例如：if(maybe.HasValue)...在select子句中)，有没有一种“一元”的方式将两者与它们各自的绑定等单子操作结合起来？
否则，如果我必须编写特定的组合方法，像这样的东西是正确的方式吗？
publi
浏览 2提问于2011-11-10得票数 10
我正在编写一个带有一些部件的绘图包，并且我的操作符和数据类型散落在各处。但是，我不希望用户每次都添加相应的模块，因为这会很麻烦，例如，我会在不同的路径上有一个Point类、一个Monoid角色和一个Style类
unit module Package::Data::Monoid;
# $?FILE = lib/Package/Data/Monoid.pm6
role Monoid {...}
unit module Package::Data::Point;
# $?FILE = lib/Package/Data/Point.pm6
class Point {...}
unit modul
浏览 3提问于2020-04-12得票数 10
回答已采纳
我有一个a -> IO (Maybe b)类型的函数，我想将它应用到IO (Maybe a)并得到IO (Maybe b)。我写了一个函数来做这个：
ioMaybeApply :: (a -> IO (Maybe b)) -> IO (Maybe a) -> IO (Maybe b)
ioMaybeApply f ioMaybeA = do
maybeA <- ioMaybeA
maybe (return Nothing) f maybeA
有标准的Haskell函数吗？我试着和Hoogle一起搜索，但什么也没找到。如果不是，我的实现是好的，还是更简单？
浏览 1提问于2017-04-15得票数 4
回答已采纳
1回答
在使用时，出现了一段我似乎无法理解的代码。
:pl map (\x -> x * x) [1..10]
-- map (join (*)) [1..10]
我的主要问题是我不明白join在这里是如何工作的。我知道它“移除”了一元包装的一层(从m (m a)到m a)。我认为这可以归结为像[1..10] >>= (\x -> [x * x])这样的东西，但我真的不明白“额外层”是如何引入的。我得到了那个join x = x >>= id，但是我仍然被困在如何“复制”每个值以便(*)获得两个参数的问题上。这件事已经困扰了我大约半个小时，我主要是对自己感到恼火，因
浏览 3提问于2011-07-23得票数 17
回答已采纳
1回答
元组(单元组，州)？
、、、
我正试图用Monad编写一个Haskell“猜数字”游戏程序，但我被塞了下来：
我试过简单的单曲：
data SM a = SMN (S -> (a, S))
instance Monad SM where
SMN c1 >>= fc2 = SMN (\s0 -> let (r, s1) = c1 s0 in
let SMN c2 = fc2 r in
c2 s1)
我需要在元组(a，S)的“IO端”执行IO任务，也就是说，我尝试执行以下
浏览 3提问于2015-02-21得票数 1
回答已采纳
1回答
目标 我正在尝试编写解释器的内部结构，出于人体工程学的目的，我认为我想要一个既能像状态又能像monad那样工作的monad。 例如，我想用这两种风格做一些事情： checkedAddress :: Integer -> Interpreter Int
checkedAddress n = if (n < toInteger (minBound :: Int))
then fail $ "Address " ++ show n ++ " is too low"
else
浏览 16提问于2019-12-09得票数 3
回答已采纳
假设我有这两个函数：
errorm :: ( MonadError String m ) => Bool -> m Int
errorm cond = if cond then return 1 else throwError "this is an error"
errorms :: ( MonadError String m ) => Bool -> m String
errorms cond = if cond then return "works" else throwError "does not work"
浏览 0提问于2013-04-29得票数 2
回答已采纳
1回答
我有下面的代码片段，无法配置它，它是如何工作的：
embedded :: MaybeT (ExceptT String (ReaderT () IO)) Int
embedded = return 1
怎样才能只给出一个数字并得到诸如类型签名之类的返回呢？编译器是如何做到这一点的？
浏览 3提问于2017-09-25得票数 3
回答已采纳
1回答
我正在尝试找出最干净的方法来修改嵌套在Maybe类型(或用于建模偏好的其他类型)中的值。
下面是示例设置：
{-# LANGUAGE TemplateHaskell #-}
import Control.Lens
data Outer = Outer { _inner :: Maybe Inner }
deriving (Show)
data Inner = Inner { _foo :: Int }
deriving (Show)
makeLenses ''Outer
makeLenses ''Inner
使用lens以一种有点混乱的方式来实现
浏览 0提问于2012-12-07得票数 7
回答已采纳
2回答
我正在尝试构建以下类型的Monad实例：
data CmdY ρ η ω = CmdY (Reader ρ ((Stream (Of CmdSpec) η ω)))
其中Stream和Of来自streaming包中的Streaming。
我已经成功地编写了Functor Applicative实例：
instance (Monad η) => Functor (CmdY ρ η) where
fmap :: (α -> β) -> CmdY ρ η α -> CmdY ρ η β
fmap f (CmdY a) = CmdY $ (fmap f) <$&g
浏览 11提问于2018-07-19得票数 1
回答已采纳
通常，当一元操作是extract /return调用的结果时，有一种安全的方法可以从一元操作中获取它。unsafePerformIO (pure 42)不会影响世界。只要我只使用这些一元运算，我就可以在纯碎片中安全。
我感兴趣的是一种有纪律的方法来概括这一概念。我的第一个想法是使用newtype of Either和injections Left作为纯值，而当它不是纯粹的时候，使用Right。编写单一实例相当简单。我甚至可以把它做成单台变压器。我也知道免费的单体(变压器)结构。
专家对我该走哪条路有什么看法？
浏览 3提问于2014-11-29得票数 1
回答已采纳
我正在编写我的第一个Haskell应用程序，我很难理解Monad变压器的使用。
示例代码：
-- Creates a new user in the system and encrypts their password
userSignup :: Connection -> User -> IO ()
userSignup conn user = do
-- Get the encrypted password for the user
encrypted <- encryptPassword $ password user. -- encryptPa
浏览 3提问于2017-10-09得票数 2
回答已采纳
下面的程序是用Eff和Aff编写的，按预期运行。也就是说，它输出给定的Int并进行异步计算。
type JsonResponse = AffjaxResponse Json
access :: forall e m. Aff (ajax :: AJAX | e) (Either Error JsonResponse)
access = attempt $ get "http://localhost:8080/livesys/Robert"
staging :: forall e. Int -> Eff (console :: CONSOLE | e) Int
stagi
浏览 1提问于2016-04-29得票数 1
6回答
成功的flatMap方法实现如下：
def flatMap[U](f: T => Try[U]): Try[U] =
try f(value)
catch {
case NonFatal(e) => Failure(e)
}
我有点理解这个方法在做什么，它帮助我们避免编写大量的捕获代码。
但从什么意义上说，它与常规的flatMap相似呢？
一个普通的flatMap接受一个序列序列，并将所有元素放入一个大的“平面”序列中。
但是，Try的flatMap方法并没有真正地使任何东西变平。
那么，如何理解flatMap方法的尝试呢？
浏览 0提问于2013-11-25得票数 12
回答已采纳
1回答
我是新手haskell，在lernning parsec lib中有一个例子：
nesting :: Parser Int
nesting = do{ char '('
; n <- nesting
; char ')'
; m <- nesting
; return (max (n+1) m)
}
<|> return 0
那么n或m是什么？为什么n和m是int且大于0？
浏览 4提问于2011-03-23得票数 1
I以下类型和以其为基础的单一类型：
data Err a = Ok a | Bad String
deriving (Read, Show, Eq, Ord)
instance Monad Err where
return = Ok
fail = Bad
Ok a >>= f = f a
Bad s >>= f = Bad s
instance Functor Err where
fmap = liftM
我还使用了一个函数，它不打印"asdf“以显示并以错误结尾(这是调试的临时解决方案)：
runStatm
浏览 4提问于2014-05-24得票数 1
回答已采纳
2回答
我正在尝试编写我自己的monad transformer，在堆栈中使用多个具有不同类型的相同monad transformer是有意义的。这个问题可以用读者monad来说明。
reader monad是作为保存给定类型的只读上下文的一种方式提供的
ex1 :: Reader Bool Bool
ex1 = ask
或
ex2 :: Reader Char Bool
ex2 = pure True
monad转换器允许对下划线monad的限制较少的假设
ex3 :: (MonadReader Bool m) => m Bool
ex3 = ask
但是，如果我想要一个以上的只读环境，该怎么
浏览 0提问于2019-01-12得票数 4
我正在OCaml中创建monads，并且需要编写它们，所以我创建了变压器。我使用Identity monad实现了常规的monad(转换器)：
module type MONAD = sig
type 'a m
val (>>=) : 'a m -> ('a -> 'b m) -> 'b m
val return : 'a -> 'a m
end
module Identity : MONAD = struct
type 'a m = 'a
let (>>
浏览 1提问于2018-02-23得票数 1
回答已采纳
假设我们有一个函数
f: (A, A) => A
我们得到了两个可选值
val x: Option[A] = ...
val y: Option[A] = ...
现在，我们要将函数f应用于x、y。如果其中一个参数是None，我们希望返回None。在scalaz中，我们可以编写
^(x, y)(f)
现在假设我们想要通过提出另一个函数来限制函数f的输入参数，该函数检查参数是否满足约束条件。如果是，该函数对其参数应用f，并返回包装在Some对象中的结果。否则返回None
fRestricted: (A, A) => Option[A]
现在的问题是我们不能再使用Scalaz了。
^(
浏览 1提问于2014-06-29得票数 2
1回答
我正在使用monad-transformers编写一个小的领域特定语言，遵循这里给出的想法，。为了说明起见，我在这里提供了一个很小的子集。
class Monad m => ProjectServiceM m where
-- | Create a new project.
createProject :: Text -- ^ Name of the project
-> m Project
-- | Fetch all the projects.
getProjects :: m [Project]
-- | Delete pr
浏览 0提问于2017-01-19得票数 1
我正试图通过编写我自己的pipes函数来学习sum包，现在我遇到了困难。我不想使用来自Pipes.Prelude的实用程序函数(因为它有sum和fold以及其他使其变得微不足道的函数)，而只使用Pipes.Tutorial中描述的信息。本教程没有讨论Proxy的构造函数，但是如果我查看sum和fold的源代码，它使用这些构造函数，我想知道是否有可能在不了解这些低级细节的情况下编写sum函数。
我很难接受这个函数如何能够继续接受值，只要有可用的值，然后以某种方式将该和返回给用户。我想这种类型是：
sum' :: Monad m => Consumer Int m Int
在我看来，
浏览 5提问于2016-02-01得票数 8
回答已采纳
在 Flanagan et.al中。描述一种将术语转换为的线性时间算法。简而言之，A-normal form让所有应用程序只接受微不足道的参数(例如变量)，并让所有非微不足道的项都受到约束。
下面是一个(愚蠢的)A范式的例子：
let x0 = x0 in
let x2 = \ x1 -> x1 in
let x3 = 1 in
x2 x3
从此非标准格式术语创建：
let y = y in
(\ x0 -> x0) 1
我已经将论文末尾给出的Scheme代码(第11页)翻译成了下面的Haskell模块。但是，我引入了monad来提供新名称的来源，并保留重命名变量的映射。我的问题是
浏览 3提问于2014-09-12得票数 3
我需要在要在GHCi上运行的模块上编写，并将函数组合到同一个函数上。这个(经典的fog(x) = f(g(x)))运行：
(.) f g = (\x -> f (g x)).
当我试图这样写它时，问题就出现了。
(.) f f = (\x -> f (f x)). (fof(x) = f(f(x)))
GHCi说：
"Conflicting definitions for `f'
Bound at: Lab1.hs:27:9
Lab1.hs:27:12"
第一次出现第27:9行，第27:12行再次出现f。
为什么哈斯克尔不懂(.
浏览 1提问于2014-09-22得票数 2
回答已采纳
1回答
是否有一种方法来为嵌套的monads实现绑定？我想要的是以下签名：
(>>>=) :: (Monad m, Monad n) => m (n a) -> (a -> m (n b)) -> m (n b)
这看起来应该是一项琐碎的任务，但不知何故，我就是不能把我的头绕在这上面。在我的程序中，我对几个不同的单子组合使用这种模式，对于每个组合，我可以实现它。但在一般情况下，我就是不明白。
编辑:看来这在一般情况下是不可能的。但在某些特殊情况下，这当然是可能的。如果内在的Monad是一个可能的。因为对我想使用的所有单子来说都是可能的，所以对我来说，有更多的约
浏览 1提问于2015-10-17得票数 7
回答已采纳
6回答
我看过各种报纸/文章/博客，还有一些不是关于Monad的东西。人们在不同的语境中谈论它们，比如范畴理论(在世界上是什么？)在经历了所有这些并试图真正理解和编写一元代码之后，我认识到monad只是语法糖(可能是其中最受推崇的)。无论是Haskell中的do表示法，还是F#中的计算表达式，甚至LINQ选择多个运算符(记住LINQ语法在C#/VB中也是一种语法糖)。
我的问题是，如果有人相信monads比语法糖(而不是嵌套的方法调用)更多，那么请用“实用性”而不是“理论概念”来启发我。
谢谢大家。
更新：
在分析了所有的答案之后，我得出结论:在特定语言中，单语概念的实现是由句法糖驱动的，而单语概念本
浏览 19提问于2011-08-30得票数 18
回答已采纳
parseSource :: String -> Either ParserError Mod.Module
parseSource src = do
(imports, rest) <- parseImports (Lex.lexSource src)
bindings <- mapM parseBinding rest
buildModule imports bindings
我需要让上面的代码返回一个IO (Either ParserError Mod.Module)，因为最后的buildModule语句需要执行一些IO函数(读取文件)。我遇到的
浏览 5提问于2011-10-11得票数 2
回答已采纳
3回答
对于我在Haskell中的矢量图形库，我必须携带一个相当大的状态:线条参数，颜色，剪辑路径等。我知道两种方法。引用的评论：“我建议你要么使用状态可变的阅读器monad，要么使用状态不变的状态monad”。
这就是我的问题:更新一个大的不可变状态会降低性能。使用大量的STRefs就像在Haskell中编写C一样:冗长而丑陋。
下面是不可变状态：
data GfxState = GfxState {
lineWidth :: Double,
lineCap :: Int,
color :: Color,
clip :: Path,
...
}
setLineWidth ::
浏览 0提问于2010-11-24得票数 12
回答已采纳
我正在读一个yaml，结果是一个可能： main :: IO ()
main =
do
justConfig <- decodeFile "config.yaml" :: IO (Maybe Config)
case justConfig of
Just config -> initState $ config
Nothing -> initState $ (Map.fromList [("hi", "bye")]) 如何从以下位置提取initState的结果： do
浏览 6提问于2019-08-29得票数 1
回答已采纳
看看Haskell的绑定：
Prelude> :t (>>=)
(>>=) :: Monad m => m a -> (a -> m b) -> m b
我被下面的例子搞糊涂了：
Prelude> let same x = x
Prelude> [[1]] >>= \x -> same x
[1]
看看>>=的签名，\x -> same x类型是如何通过a -> m b进行检查的？
我本以为\x -> same x会生成一个[b]类型，因为据我所知，这里的Monad m类型是[]
浏览 0提问于2015-03-01得票数 2
我正在尝试使用可变数组编写洗牌。到目前为止，我有以下代码：
module Main where
import Control.Monad.Random
import Control.Monad.Primitive
import Control.Monad.ST
import qualified Data.Vector as V
import qualified Data.Vector.Mutable as MV
fisherYates :: (MonadRandom m, PrimMonad m) => MV.MVector (PrimState m) a -> m ()
f
浏览 4提问于2017-11-25得票数 2
回答已采纳
我目前正在学习Haskell的书，学习Haskell，并为Log和最大的通用除数程序编写脚本，介绍Writer monad。我理解它们所做的事情，但是在ghci中加载它们会导致错误。请参阅：
下面是logNumber脚本和我得到的错误代码：
-- Log Number
import Control.Monad.Writer
logNumber :: Int -> Writer [String] Int
logNumber x = Writer (x, ["Got number: " ++ show x])
multWithLog :: Writer [St
浏览 1提问于2020-02-12得票数 3
回答已采纳
我正在编写一个小型库，用于与一些外部API进行交互。一组函数将构造对yahoo api的有效请求，并将结果解析为数据类型。另一组函数将基于IP查找用户的当前位置，并返回表示当前位置的数据类型。虽然代码可以工作，但它似乎必须显式地进行模式匹配才能对IO类型(可能是a)的多个函数进行排序。
-- Yahoo API
constructQuery :: T.Text -> T.Text -> T.Text
constructQuery city state = "select astronomy, item.condition from weather.forecast
浏览 1提问于2015-09-07得票数 5
最近我用下面的模式编写了几次代码，我想知道是否有更短的方法来编写它。
foo :: IO String
foo = do
x <- getLine
putStrLn x >> return x
为了让事情更简洁，我写了这个函数(尽管我不确定它的名字是否合适)：
constM :: (Monad m) => (a -> m b) -> a -> m a
constM f a = f a >> return a
然后我可以像这样做foo：
foo = getLine >>= constM putStrLn
像这样的函
浏览 1提问于2011-09-23得票数 13
回答已采纳
2回答
Monad是么半群，但是它是么半群，与Integer的方式不同。我想知道是否有一种方法可以编写Monoid'和Monad'，使Integer和Monad'都可以表示为同一个Monoid'类型类的实例？
浏览 2提问于2013-06-20得票数 10
回答已采纳
假设我有一个简单的新类型声明
newtype Foo a = Foo { unFoo :: ReaderT Int IO a }
我想要创建MonadBaseControl IO的Foo实例。这应该很容易，因为ReaderT Int已经是MonadBaseControl IO的一个实例。但是，使用GeneralizedNewtypeDeriving自动派生它不起作用，因为MonadBaseControl类有一个关联类型。
如何为Foo编写MonadBaseControl IO实例？defaultLiftBaseWith和defaultRestoreM应该是有帮助的，但要破译它们的类型有点困难。
浏览 9提问于2015-01-25得票数 15
回答已采纳
如何重构此代码以使用cats EitherT，ReaderT(?)和Future，这样我就可以摆脱嵌套，以一种面向理解的风格来编写它？
import scala.concurrent.Future
trait Foo[A, B, C, D, E] {
def bar(f: A => Future[B]): Future[B]
def baz: Future[Either[E, Future[C]]]
def qux(f: C => B)(a: A): B
def quz(e: E): Future[B]
def corge(c: C): B
d
浏览 0提问于2017-05-07得票数 1
1回答
我正在使用Parsec创建一个解析器，并试图在解析过程中返回一个特定的错误。
这是一个最低限度的解析器示例，用于暴露我的问题：
parseA = try seq1
<|> seq2
seq1 = do
manyTill anyChar (try $ string "\n* ")
many1 anyChar
fail "My error message"
seq2 = do
manyTill anyChar (try $ string "\n-
浏览 0提问于2019-01-07得票数 3
回答已采纳
1回答
我有一个程序。
import Control.Monad
import Control.Monad.Identity
import Control.Monad.Trans.Maybe
import System.Environment
tryR :: Monad m => ([a] -> MaybeT m [a]) -> ([a] -> m [a])
tryR f x = do
m <- runMaybeT (f x)
case m of
Just t -> return t
Nothing -> return x
che
浏览 44提问于2017-04-01得票数 17
回答已采纳
我已经编写了一个Haskell类型类，使用(a -> m _)形式的类型声明它的实例会很方便，其中m是(* -> *)类型，比如monad，而_是一个不饱和的插槽。我知道如何编写newtype X a m b = X (a -> m b)，以及如何为X a m声明实例。但是，如果可能的话，我正在寻找的是使用裸的、未包装的->类型。
如果你想声明(a -> _)形式的类型的实例，那么你可以这样写：
instance Foo a ((->) a) where ...
但我不知道如何/是否可以使用(a -> m _)形式的类型。我猜我希望在实例声明中组合类型
浏览 4提问于2016-06-19得票数 1
6回答
我需要编写一个也可以支持错误处理的状态monad。我正在考虑使用任一monad来实现这一目的，因为它还可以提供导致错误的详细信息。我找到了一个使用可能单子的状态单子的定义，但是我无法将其修改为使用任何一个，而不是使用可能。代码如下：
newtype StateMonad a = StateMonad (State -> Maybe (a, State))
instance Monad StateMonad where
(StateMonad p) >>= k = StateMonad (\s0 -> case p s0 of
浏览 0提问于2010-10-31得票数 8
1回答
我想用新的Scala Dotty编译器做一些类似的事情： trait Monad[M[A]] (underlyingValue:A) {
def bind[A, B](f: A => M[B]): M[B]
} 或者至少 class Monad[M[A]] (underlyingValue:A) {
def bind[A, B](f: A => M[B]): M[B]
} 但是编译器抱怨没有找到:类型A 有什么方法可以访问类型参数的类型参数吗？或者是一些最终结果相同但执行方式不同的东西？ 我知道您可以创建像这样的Monad：https://dotty.epfl.ch/do
浏览 12提问于2021-01-04得票数 1
回答已采纳
我写了一些玩具代码来玩弄箭头的概念。我想看看我是否可以编写一个箭头来编码有状态函数的概念-在不同的调用后给出不同的值。
{-# LANGUAGE Arrows#-}
module StatefulFunc where
import Control.Category
import Control.Arrow
newtype StatefulFunc a b = SF { unSF :: a -> (StatefulFunc a b, b) }
idSF :: StatefulFunc a a
idSF = SF $ \a -> (idSF, a)
dotSF :: State
浏览 0提问于2010-09-10得票数 17
回答已采纳
我正在尝试为Vectors编写二进制实例。
import qualified Data.Vector as V
import qualified Data.Vector.Mutable as MV
import Data.Binary
instance (Binary a) => Binary (V.Vector a) where
put = vput
get = vget
其实现是:首先输出长度，然后输出所有数据点
vput v = (put (V.length v)) >> (put `V.mapM_` v)
问题出在vget上。我想使用V.creat
浏览 0提问于2012-05-08得票数 1
回答已采纳
是否有必要访问monad的内部结构才能编写monad转换器？
例如:我希望有来自Data.Binary.Get的Get monad的GetT - transformer，但是这个模块不公开Get monad的内部结构。这是否意味着对我来说唯一的方法就是将GetT直接添加到Data.Binary.Get模块中？
浏览 0提问于2012-08-03得票数 10
回答已采纳
2回答
我有一系列的四种方法调用，它们都返回Try某物，最后一次返回Try单元。就像这样：
def getFields(): Try[List[A]] = { ... }
def getValues(): Try[List[B]] = { ... }
def createTmpFile(as: List[A], bs: List[B]): Try[C] { ... }
def runProcessWithFile(c: C): Try[Unit] { ... }
def run(): Try[Unit] = {
for (
fields <- getFields();
va
浏览 0提问于2014-06-27得票数 2
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
