围绕IO创建包装器Monad
IO创建包装器Monad是一种在函数式编程中常用的概念，用于处理具有副作用的操作，例如读取文件、发送网络请求或者打印日志等。Monad提供了一种方式来组合这些具有副作用的操作，使得代码更加可组合、可重用和易于测试。
Monad是一种类型类（type class），它定义了两个核心操作：return和bind。return用于将一个普通的值包装成一个具有副作用的操作，而bind用于将一个具有副作用的操作与一个函数组合起来，形成一个新的具有副作用的操作。
在Haskell中，IO创建包装器Monad被称为IO Monad。它的优势在于可以将具有副作用的操作与纯函数式代码分离，使得代码更加模块化和可测试。此外，IO Monad还提供了一些辅助函数，例如map和flatMap，用于对具有副作用的操作进行转换和组合。
IO Monad的应用场景非常广泛。例如，在Web开发中，可以使用IO Monad来处理用户请求和响应，包括读取请求参数、访问数据库、发送网络请求等。在命令行程序中，可以使用IO Monad来处理用户输入和输出，包括读取命令行参数、读取文件内容、打印日志等。
腾讯云提供了一些相关产品和服务，可以帮助开发者在云计算环境中使用IO Monad。例如，腾讯云函数（SCF）是一种无服务器计算服务，可以用于运行具有副作用的操作。腾讯云数据库（TencentDB）提供了可靠的云数据库服务，可以用于存储和访问数据。腾讯云对象存储（COS）提供了高可用性和可扩展性的云存储服务，可以用于存储和访问文件。
更多关于腾讯云相关产品和服务的信息，可以访问腾讯云官方网站：https://cloud.tencent.com/
相关·内容
1回答
在我的机器上，以下代码打印：
$ ghc --version
The Glorious Glasgow Haskell Compilation System, version 7.6.3
$ runhaskell Why.hs
[1,1,1]
[2,2,2]
但是在FP完成时，它会产生一个错误：(除非我切换到GHC 7.8 Preview，LPaste用于克隆)
src/Main.hs@4:7-4:13No instance for (Monad ((->) (IO Int)))
arising from a use of `return'
Possible fi
浏览 1提问于2014-07-25得票数 1
回答已采纳
我在一个带有IO的单变量转换器中，我想为定义我自己的实例。
因为Failure已经为IO和MonadTrans定义了实例，所以我甚至不能构建自己的重叠实例。
据我所知，我还有四种选择：
输入IO：
这有点尴尬，我需要派生出我想要更改的所有内容，然后重新定义其余的内容。
无法将类本身分离到它自己的模块中：
我会将类定义移动到子模块Control.Failure.Class中。
为失败创建一个简单的包装器模块，而不重新导出实例
从Monad变压器中移除MonadTrans
你知道还有别的选择吗？你认为如何？
浏览 2提问于2014-03-21得票数 5
回答已采纳
1回答
在纯代码中避免IORefs
、、、、
我注意到通过IORefs使用IO monad来提供指针。我想，在纯代码中本地使用unsafePerformIO时，每个人都会愉快地调用它，因为数据结构是如此容易理解，但是..
对于这样的数据结构，有没有一种规范的更干净的方法？也许是一个围绕IO的包装器，通过禁止大多数IO操作来减少不可避免的unsafePerformIO的不安全“外观”？
浏览 10提问于2012-04-24得票数 25
回答已采纳
1回答
这里是一个小玩具DSL的类型，无标签的最终风格(见的O.Kiselyov)。
class Monad m => RPCToy m where
mkdir :: FilePath -> m ()
ls :: FilePath -> m [FilePath]
例如，这个小DSL的不同实例将是在不同的平台上实现mkdir和ls，无论是本地的还是远程的。在所有实现中，类型m都是单一的，可以是IO，也可以是某个网络库提供的，或者是其他一些自制的monad。
下面是IO中的一个实现
import System.Directory (listDirectory)
im
浏览 2提问于2019-10-14得票数 2
1回答
给出一个简单的列表
newtype SomeList = SomeList { items :: [SomeItem] }
和一个helper函数
newtype SomeListStateT a = SomeListStateT
{ runSomeListStateT :: StateT SomeList IO a
} deriving (Functor, Applicative, Monad, MonadIO)
谁能提供一个简单的例子，说明如何构造一个StateT monad转换器来对列表执行CRUD操作？
我想通过严格的State Monad操作来添加和修改项目。
不幸的是，
浏览 8提问于2021-10-26得票数 0
1回答
看看上的这个东西：
type ErrorAndStateWithIO e s a = ErrorT e (StateT s IO) a
==> ErrorT (StateT s IO (Either e a))
==> ErrorT (StateT (s -> IO (Either e a,s)))
我还附上了ErrorT的构造函数：
Constructors
ErrorT
runErrorT :: m (Either e a)
在我的岗位上，我不明白的是一件事。什么意思？对我来说，这意味着ErrorT e (StateT s IO) a = ErrorT (S
浏览 3提问于2016-04-18得票数 1
回答已采纳
我有下面的代码，它使用Reader monad进行配置，还必须处理IO[Option[String]]，最后我在encode函数中使用了阶梯式的代码。
我如何为Reader和OptionT制定一个单值转换器，以避免我的encode函数中丑陋的嵌套for解释？
def encode(fileName: String): Reader[Config, IO[Unit]] = for {
ffmpegWrapper <- findFfmpegWrapper
ffmpegBin <- findFfmpeg
} yield (for {
w <- ffmpegWra
浏览 7提问于2013-06-12得票数 11
回答已采纳
2回答
对下面的代码有些困惑。在问题的非玩具版本中，我试图在单一结果中进行一元计算，其值只能从IO内部构造。似乎IO背后的魔力使这种计算更加严格，但我不知道这到底是如何发生的。
守则：
data Result a = Result a | Failure deriving (Show)
instance Functor Result where
fmap f (Result a) = Result (f a)
fmap f Failure = Failure
instance Applicative Result where
pure = return
(<*>) =
浏览 3提问于2016-05-31得票数 11
回答已采纳
如何使用从中提取中定义的函数
电流型simpleHTTP
simpleHTTP :: ToMessage a
=> Conf -> ServerPartT IO a -> IO ()
预期类型的simpleHTTPLifted
simpleHTTPLifted :: (MonadBaseControl IO m, ToMessage a)
=> Conf -> ServerPartT m a -> m ()
我目前的尝试(没有编译)：
simpleHTTPLifted conf action =
浏览 4提问于2015-01-01得票数 3
回答已采纳
为什么
foo :: MonadIO m => m ()
foo = print "hi"
导致下列错误
无法将类型‘m’与‘IO’‘m’相匹配，这是一个刚性类型变量，由类型签名绑定: foo :：forall (m :：* -> *)。MonadIO m => m () at foo.hs:57:8预期类型:m ()实际类型: IO ()
据我所知，MonadIO约束不应该允许这样做，因为IO ()应该等于MonadIO？
浏览 1提问于2018-12-26得票数 2
回答已采纳
1回答
在FFI的GHC手册一节中提到，程序员可以使用newtype在IO monad周围创建一个包装器monad，并在调用外部代码时使用它来代替IO monad。(GHC manual) 到目前为止，我已经做到了： newtype PGm a = PGm (IO a)
instance Monad PGm where
(>>=) a b = ...
(>>) a b = ...
return a = PGm (return a) --I think
fail a = PGm (fail a) --I think 我对如何实现(>&
浏览 15提问于2019-02-25得票数 4
我有一个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
回答已采纳
我正在尝试创建一个只允许特定IO函数的monad。这意味着这个假设的monad不能是一个MonadIO，也不能允许调用liftIO。
这是我到现在为止所拥有的，但是我被AppM的AppM实例困住了
data AppM a = AppM {unwrapAppM :: ReaderT Env (LoggingT IO) a}
instance Functor AppM where
fmap fn appm = AppM $ fmap fn (unwrapAppM appm)
instance Applicative AppM where
pure a = AppM $ pure a
浏览 1提问于2017-07-23得票数 3
回答已采纳
1回答
我正在学习使用Alex和Happy编写一个小编译器。我希望维护AST节点的行和列信息，以便向用户提供有意义的错误消息。为了说明我打算如何做到这一点，我写了一个小例子(参见下面的代码)，我想知道我处理这个问题的方式(将AlexPosn附加到标记，将多态属性字段附加到AST节点，使用tkPos和astAttr)是不是很好，或者是否有更好的方法来处理位置信息。
Lexfor.x：
{
module Lexer where
}
%wrapper "posn"
$white = [\ \t\n]
tokens :-
$white+ ;
[xX] { \pos s -> Mk
浏览 3提问于2013-12-15得票数 20
1回答
我对Haskell非常陌生，目前对monads还没有很好的理解。我用光泽做国际象棋。我面临的问题是在加载多个图像。我正在使用haskell提供的loadBMP函数来加载图像。它的签署是：
loadBMP :: FilePath -> IO Picture
我可以加载单个图像，但不能加载图像数组。
-- This function calculates the path of all the images and then apply loadBMP function on it.
loadPieceImages :: [IO Picture]
loadPieceImages = do
浏览 8提问于2021-12-06得票数 1
我想提升一个像这样的函数来创建一个带有这个签名的函数：lmask_ :: StateT Bool IO a -> StateT IO a。
我的问题是，如何处理回调/第一个参数？下面的代码不是不正确吗，因为它会在mask_的代码之前执行回调？
lmask_ :: StateT Bool IO a -> StateT Bool IO a
lmask_ m = do
r <- m
lift (mask_ (return r))
有什么通用的方法可以做到这一点吗？像lift1 :: MonadTrans t => (m a -> m a) -> (t m
浏览 0提问于2015-08-21得票数 3
我是哈斯克尔的新手。
showAllContent file = do
content <- readFile file
let splittedContent = splitOn "\n" content
[beautyPrint x | x <- splittedContent]
beautyPrint line = do
putStrLn line
我想在打印前转换字符串，但是我得到了错误
无法将类型"[]“与预期的" IO”匹配: IO (IO ()实际:IO () )
浏览 3提问于2021-07-11得票数 0
回答已采纳
1回答
我正在使用UI创建和应用程序，我需要运行StateT和ReaderT over IO中的代码，我在UI中使用Graphics.UI.Gtk，我有以下问题：
我需要当单击某个按钮时，它调用一个具有签名的函数。
tryAttack :: Int -> ReaderT Builder (StateT BattleState IO) Bool
但是在GTK中，对于clickedOn函数，它使用一个IO ()参数：
onClicked :: ButtonClass b => b -> IO () -> IO (ConnectId b)
我如何“愚弄”这个clickedOn函数，使
浏览 3提问于2013-07-19得票数 2
回答已采纳
1回答
处理程序和单子
、、、
我在努力写的和Monad
class Monad p => Persist p where
data Configuration p :: *
runPersistance :: Configuration p -> p a -> IO a
initPersistence :: p ()
newKind :: Kind -> p NewKindStatus
-- ...
kind :: P.Persist p => KindUid -> KindBody -> p (Handler
浏览 1提问于2019-11-25得票数 1
回答已采纳
2回答
我在Reader Monad中有代码，以便将文件句柄作为不可见的参数传递到Reader链中。
在writeMail中，我正在尝试创建一个读取器，当使用runReader运行时，它会产生IO ()输出，该输出本身就是一系列IO monad的结果
writeMail :: Reader Handle (IO ())
writeMail mail = do
wmh <- writeMailHeaders mail
wmb <- writeMailBody mail
return $ wmh >>= \_ -> wmb
然而，我发现只有IO链中的最后一个，即wmb，在
浏览 1提问于2013-11-15得票数 0
3回答
考虑到下面的程序，我遇到了处理monads的问题。
module Main
where
import System.Environment
import System.Directory
import System.IO
import Text.CSV
--------------------------------------------------
exister :: String -> IO Bool
exister path = do
fileexist <- doesFileExist path
direxist <- doesDirectory
浏览 3提问于2011-08-22得票数 6
回答已采纳
我正在编写一个服务器，其中一个要求是它需要能够将数据推送到客户端，而不需要客户机直接请求数据。我在使用管道，但感觉这超出了管道的能力。我遇到的问题是，似乎没有一种方法来判断套接字是否有可用的数据，等待将阻止执行，直到有数据可用为止。假设我有以下功能
getPacket :: Conduit ByteString IO ClientPacket --take a bytestring and yield a ClientPacket i.e. the ByteString deserialized into a sensible form
processPacket :: Conduit Cli
浏览 4提问于2015-08-11得票数 3
回答已采纳
对于这种情况：
envoyerMessage' :: SmartMail -> CompteSmail -> Trame -> (SmartMail, CompteSmail)
为了进行测试，我尝试简单地返回传递的元素，而不进行任何更改。
我的问题是：
envoyerMessage' ssm csm tr = (ssm, csm)
按预期工作，但使用do..return
envoyerMessage' ssm csm tr = do
return (ssm, csm)
我收到以下错误消息：
为
浏览 0提问于2018-11-06得票数 1
回答已采纳
2回答
MaybeT计算中的类型
、、、
在IO计算中，我最终得到了一个case mbValue of …的阶梯，并计算出我应该使用Maybe monad来简化代码。由于它在IO计算中，而且我需要获取IO值，所以我使用了MaybeT monad转换器，以便能够将IO计算转化为Maybe。
现在，我一直在想，在Maybe计算中的values <- mbValue之后，值被“剥夺”了，但是这里的启发式方法太简单了。
如下所示，当使用Maybe a值作为a (此处将其传递给read)时，它无法键入check：
import Control.Monad.Trans (lift)
import Control.Monad.Trans.Ma
浏览 5提问于2015-02-13得票数 3
回答已采纳
3回答
我正在尝试用VTY库构建一个UI。我还使用了一个定制的单簧管(几个单子叠在一起)。对于常规的IO函数，这不是一个问题。我可以把它们搬到我的单子里。但是，VTY函数onActivate具有以下类型的签名：
onActivate :: Widget Edit -> (Widget Edit -> IO ()) -> IO ()
是否有一种方法可以将Widget Edit -> MyMonad ()函数转换为(Widget Edit -> IO ())，而不必包装和展开我的monad？我不希望重写库的所有类型签名为MonadIO m => m ()，而不是IO (
浏览 2提问于2015-05-03得票数 2
回答已采纳
假设我有一个简单的新类型声明
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
回答已采纳
大家好，
我今年对Haskell非常陌生(在上世纪90年代初使用过它，在00年代初又使用过)。我正在尝试编写一些代码，这些代码使用的模式几乎与类似
type IO a = RealWorld -> (a, RealWorld)
(是的，我知道这不是IO的GHC实现，而只是理解它的工具。)原因是，在我的应用程序(一个游戏)中，我现在有两种模式在这里使用RealWorld的两种不同的替换。在一个游戏中，它是游戏的状态，在另一个，它只是一个StdGen随机数种子。当然，我现在有两对这样的类型：
-- | Easily return a specified value as well as
浏览 0提问于2013-04-16得票数 6
回答已采纳
从数学上讲，函数应用的二进制运算是一个内函子/Monad.
pipe :: (a -> b) -> a -> b
pipe = \f -> \a -> f a
(|>) :: a -> (a -> b) -> b
(|>) = flip pipe
infixl 1 |>
它被称为管道操作符，在Haskell中，预定义为
(&) :: a -> (a -> b) -> b
monadTestPipe :: IO ()
monadTestPipe = do
"Monad Laws=====
浏览 5提问于2022-02-21得票数 3
回答已采纳
1回答
猫中Monad变形金刚的一些定义。
EitherT[F_，A，B]是F[EitherA，B]的一个轻量级包装器，它可以方便地将其中之一和Fs组合在一起。为了使用EitherT，首先将F、A和B的值转换为EitherT，然后使用组合子组合生成EitherT值。OptionT[F_，A]是F[OptionA]上的轻型包装器。从技术上讲，这是一个可供选择的单台转换器，但你不需要知道这意味着什么才能有用。与直接使用OptionT相比，使用F[OptionA]更方便。
我理解这个概念，甚至看到了一些有趣的话题：
我理解“读者Monad”，以及Kleisli是如何泛化的。
我不明白的是下面这句话，
浏览 3提问于2020-10-10得票数 1
回答已采纳
2回答
让我们假设我们
a :: IO (Maybe String)
b :: IO (Maybe String)
data Foo = Foo String String
我想从Maybe Foo和b那里得到一个。
目前，我正在做这个
do
a' <- a
b' <- b
Foo <$> a' <*> b'
但是，我觉得应该有更简单的方法，
(\x y -> Foo <$> x <*> y) <$> (Just <$> getLine) <*> (ret
浏览 3提问于2014-10-16得票数 3
1回答
我一直在想，有什么方法(如果有的话)用于测试通过网络执行请求的Haskell应用程序？我来自Ruby王国，为了测试Haskell函数，我一直在搜索任何可以存根或“模拟”网络调用的东西。我对“录像机”-like解决方案(例如：)特别感兴趣，因为它似乎是最可行的选择。
因此，我希望能够记录一次网络请求/响应对，然后在后续测试中重用这些记录。我想出了我自己的简单组合，在测试之前启动一个web服务器(warp)，提供预先记录的响应，但我必须将应用程序中的所有URL指向"localhost“。我认为，这并不总是可以替换应用程序中的所有URL。虽然我对上面描述的我自己的设置很满意(并想在以后用它做
浏览 0提问于2012-09-14得票数 7
回答已采纳
我正在寻求编写一个通用模块，允许Haskell程序与Cassandra交互。模块将需要维护自己的状态。例如，它将有一个连接池和一个要在保存新记录时调用的回调列表。我应该如何构造代码，以使此模块能够保持其状态？以下是我一直在考虑的一些方法。我在正确的轨道上吗？(我是Haskell的新手，还在学习函数式思考的最佳方法。)
选项1：
该模块在(StateT的IO) monad中运行，其中s是使用Cassandra模块的整个程序的全局状态。当然，因为Cassandra模块可以被多个程序使用，所以s中的细节应该对Cassandra模块是不可见的。该模块必须导出一个允许它从s中提取CassandraSta
浏览 1提问于2011-01-25得票数 11
回答已采纳
我现在正在学习Haskell，并且我正在尝试使用状态Monad。 我递归地请求用户输入并将其附加到列表中。当我在同一个函数中实现IO处理和状态执行时，程序按预期工作： import Control.Monad.State
push :: String -> State [String] ()
push a = state $ \xs -> ((),a:xs)
testingState :: State [String] ()
testingState = do
push ("testing state!")
return ()
handleSta
浏览 21提问于2021-04-13得票数 2
与使用Happstack时一样，我已经制作了自己的服务器monad用于处理程序，以涵盖我的DB和Sessions，以及一些错误处理。我最近发现-Package是一个很大的帮助，它阻止了我编写自己的解决方案。
虽然在ClientSessionT monad中连接到我自己的monad有一点麻烦。事实证明，它没有MonadReader或MonadError实例，所以我不能在我的包装器monad中实例化它们。
以下是该模块的完整代码：
{-# LANGUAGE OverloadedStrings, GeneralizedNewtypeDeriving, DeriveDataTypeable, Empt
浏览 0提问于2012-04-22得票数 3
回答已采纳
在Spock上运行的run服务器上可视化字节串主体(例如localhost) 我的目标:创建网站并查看字节串(转换为文本)框架: Http Simple用于为我的服务器执行对JSON Spock的请求，例如，我不希望创建一个restAPI，因为我需要在创建JSON结构之前操作/检查我的响应。一般的想法是，我想使用响应体来构造一个JSON查询结构(用户将能够撰写他的问题)，该结构将发送到restAPI网站。 我设法构建了一个这样的请求： connect = do
request' <- (parseRequest "http://localhost
浏览 12提问于2019-06-10得票数 0
2回答
提供了合并两个单体的示例：
type ErrorWithIO e a = ErrorT e IO a
==> ErrorT (IO (Either e a))
我发现这是违反直觉的:尽管ErrorT应该包装IO，但是看起来错误信息已经被注入到IO操作的结果类型中。我本以为是
==> ErrorT (Either e (IO a))
基于“包装”这个词的通常含义。
更让人困惑的是，StateT做了以下每一项工作：
type MyError e = ErrorT e Identity -- (see footnote)
type StateWithError s e a = Stat
浏览 1提问于2011-08-17得票数 15
回答已采纳
因此，我目前正在学习Sails.js，更具体地说，学习框架的集成套接字功能。我确实喜欢这个框架，因为它非常适合构建API。我的问题是，你能给我一些比较socket.io和帆插座。我的意思是好的一面和坏的一面，它值得学习帆插座还是我应该使用socket.io？我能否在帆上使用socket.io是另一个问题。我没有为Sails.js套接字找到任何教程，我很困惑。另外，我对套接字还不熟悉，所以如果你能像初学者那样解释的话。
浏览 3提问于2015-06-15得票数 1
回答已采纳
假设我有一个任务，它表示从k到v的一些计算，其中一些输入必须从外部获取。
newtype Task k v = Task { run ∷ ∀ f. Monad f ⇒ (k → f v) → f v }
对于某些任务，将使用mapM，例如，获取多个键。我想专门为一些monads开发mapM。特别是对于IO monad，我想使用Control.Concurrent.Async.mapConcurrently并发地执行IO操作。
我的第一个直觉是引入一个包装器类型
newtype AsyncIO a = AsyncIO { io :: IO a }
然后介绍
instance Monad Asyn
浏览 17提问于2018-07-30得票数 1
回答已采纳
4回答
我在一个框架中工作，它迫使我创建一个带有默认构造函数的类的实例，所以不幸的是，我不能使用'readonly`‘并将参数传递给字段。
创建实例后，我计划立即通过公共属性设置字段，除非有更合适的方法。
是否可以强制该字段仅在其设置后才被读取？而不在属性集中使用布尔值或某些计数器逻辑？
使用一些伪代码进行更新
public class SomeClass
{
public Create()
{
object = Framework.CreateClass<NeedArgument>();
object.mustSet = value
浏览 0提问于2013-04-30得票数 2
回答已采纳
2回答
我只是在学习Haskell和monad变压器，我发现自己有一个IO (IO ())，我想把它压成IO ()。我肯定我做错了什么，但不能准确地指出我迷路的地方。
下面是一个简单的例子，说明我正在尝试做什么。这是一种复杂的实现echo的方法，但它说明了这个问题。
userInput :: Monad m => ReaderT (IO String) m (IO String)
userInput = ask
echo :: Monad m => ReaderT (IO String) m (IO ())
echo = userInput >>= \input ->
浏览 0提问于2018-12-27得票数 3
回答已采纳
我正试图让Haskell从文件中随机选择一行并打印出来。我的尝试如下：
import Data.Random.Extras (choice)
main :: IO ()
main = do
filecontents <- readFile "wordlist.txt"
let words = lines filecontents
let word = choice $ words
word >>= putStrLn
最后一行是发生错误的地方。>>=需要一个IO String，但是word是一个Data.RVar.RVar Strin
浏览 1提问于2014-09-13得票数 4
回答已采纳
似乎能够组合不同的ReaderT环境会很有用。
例如，通用日志记录工具可能如下所示：
logit :: Text -> ReaderT Bool IO ()
logit str = do debugflag <- ask
liftIO $ if debugflag then putStrLn ("debug: " ++ str) else return ()
这看起来像是一个很好的可重用组件。那么，我该如何将此定义与另一个ReaderT环境集成，以便同时使用这两个环境呢？
例如，假设我想将它与这个ReaderT实例结合使用：
foo
浏览 0提问于2012-10-24得票数 3
1回答
大家好，我在haskell中有一个函数，可以让我从位图grayScale中提取一个Repa数组。 readImageFromBMPa
:: FilePath
-> IO (Either Error (Array U DIM2 ( Word8)))
{-# NOINLINE readImageFromBMPa #-}
readImageFromBMPa filePath
= do ebmp <- readBMP filePath
case ebmp of
Left err -> re
浏览 18提问于2020-12-11得票数 0
我有一个计算，最好的描述是对向量的迭代突变；最终结果是向量的最终状态。
我认为，实现这一功能的“惯用”方法是，只要一个新的向量对象被“修改”，就简单地传递它。因此，您的迭代方法应该是operate_on_vector :: Vector -> Vector，它接受一个向量并输出修改后的向量，然后再次通过该方法进行输入。
这种方法非常简单，即使我是Haskell的新手，实现它也没有任何问题。
或者，可以将所有这些封装在State monad中，并将不断重新创建和修改的向量作为状态值传递。
然而，我承受着巨大的性能成本，因为这些计算相当密集，迭代次数很多(在数百万量级上)，数据向量可能变得非
浏览 0提问于2013-06-22得票数 2
回答已采纳
module Main (main) where
import Control.Monad.Reader
p1 :: String -> IO ()
p1 = putStrLn . ("Apple "++)
p2 :: String -> IO ()
p2 = putStrLn . ("Pear "++)
main :: IO ()
main = do
p1 "x"
p2 "y"
r "z"
r :: String -> IO ()
r = do
p1
浏览 0提问于2012-12-14得票数 1
回答已采纳
给定以下声明 data MyCustomString = MyCustomString String deriving (Show, Eq)
getSomeString :: IO String 我想将getSomeString的输出处理成do上下文中的IO MyCustomString： do
cs_one <- getSomeString
cs_two <- getSomeString
-- at this point, `cs_one` and `cs_two` are of type `String`
-- how to constru
浏览 4提问于2020-10-20得票数 2
回答已采纳
我正在尝试使用HDBC和Haskell.GI实现一个小型桌面应用程序。我使用glade构建我的窗口和对话框，并用GtkBuilder加载它们。在实现了几个场景之后，我最终始终使用相同的模式，在具有以下签名的do块中组成“操作”：
Connection -> Builder -> a -> IO b
这些“操作”是在IO monad的上下文中组成的，主要问题是我必须到处传递我的Connection和Builder。我预见到的另一个问题是，如果我想要向我的应用程序添加另一个外部依赖项(例如，访问图像扫描仪)，我将不得不更改所有“操作”的签名，更重要的是，更改它们的属性。
我可以做
浏览 3提问于2019-04-16得票数 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
回答已采纳
4回答
我正在学习Haskell，并且正在为一个类实现一个算法。它工作得很好，但这个类的一个要求是，我需要对两个数字相乘或相加的总次数进行计数。这就是我在其他语言中使用全局变量的原因，我的理解是Haskell对此深恶痛绝。
一种选择是让每个函数只返回此数据及其实际结果。但这似乎并不有趣。
我是这样想的:假设我有一些f :: Double -> Double函数。我是否可以创建一个数据类型(Double, IO)，然后使用函数器来定义跨(Double, IO)的乘法，以便执行乘法并将某些内容写入IO。然后我就可以把我的新数据传递给我的函数了。
这有什么意义吗？有没有更简单的方法来做这件事？
编辑:
浏览 9提问于2011-02-26得票数 2
回答已采纳
我正在尝试安装我的第一个脚手架Yesod应用程序。当我运行cabal-dev install && yesod --dev devel时，ExitFailure 1失败。我使用sqlite作为持久性。
Application.hs:49:44:
No instance for (monad-logger-0.3.1:Control.Monad.Logger.MonadLogger
IO)
arising from a use of `runMigration'
Possible fix:
add an instance de
浏览 0提问于2013-03-16得票数 10
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储活动推荐
腾讯云开发者
