Haskell使用monad作为一种全局变量
Haskell是一种函数式编程语言，它使用monad作为一种全局变量。
Monad是一种用于处理副作用的编程模式，它允许我们在纯函数式编程中引入副作用，如IO操作、状态管理等。在Haskell中，monad被广泛应用于处理这些副作用。
使用monad作为一种全局变量的好处是可以将副作用隔离在纯函数之外，使得代码更加模块化和可维护。通过使用monad，我们可以将副作用的处理与纯函数的计算分离开来，使得代码更加清晰和可读。
在Haskell中，常见的monad包括IO monad、State monad、Maybe monad等。每种monad都有自己的特点和用途。
对于Haskell开发者来说，熟悉monad的使用是非常重要的。通过合理地使用monad，我们可以更好地处理副作用，提高代码的可靠性和可测试性。
腾讯云提供了丰富的云计算产品和服务，其中与Haskell开发相关的产品包括：
- 云服务器CVM：提供灵活可扩展的虚拟服务器，可用于部署Haskell应用程序。了解更多：云服务器CVM
- 云数据库MySQL：提供高性能、可扩展的MySQL数据库服务，可用于存储Haskell应用程序的数据。了解更多：云数据库MySQL
- 云存储COS：提供安全可靠的对象存储服务，可用于存储Haskell应用程序的文件和静态资源。了解更多：云存储COS
以上是一些腾讯云的相关产品，可以帮助Haskell开发者在云计算环境中构建和部署应用程序。请注意，这仅仅是一些建议，具体的选择还需根据实际需求和项目情况进行评估。
相关·内容
在haskell中存储一些状态的任务的设计模式是什么？例如，我想用haskell编写库，它提供配置文件读取并将配置参数存储在内存中。
例如：
我有配置文件。配置文件的语法现在并不重要。我读取配置文件，将其解析为某种haskell数据结构。接下来，我想退出使用这个库从config中获取参数的程序。我们在haskell中没有全局变量。我不想调用每次都会读取和解析配置的函数。我想读取配置一次，然后获得参数很多次。
在haskell中，对于这些类型的问题，有什么是常见的做法？
谢谢。
浏览 0提问于2012-12-25得票数 4
回答已采纳
我读了一些Haskell的Stack和Queen示例代码(比如：)。他们使Stack和Queen作为国家Monad的实例，使其易于使用。
那么，Haskell的名单能作为国家Monad的例子吗？
但如果不是，为什么？似乎被插入到一个列表中
1:[2,3,4]
就像堆里的第一推。所以
可以作为国家Monad?的实例列出
如果可以的话，为什么Haskell不把它作为State的实例呢？我认为因为它是最常用的数据结构，所以如果将它作为State的实例，就很难使用(与直接使用它相比)
浏览 4提问于2021-06-09得票数 0
回答已采纳
在中，他认为所有的单子都是应用函子。
在Haskell7.7编译器输出中，我看到了以下内容(另一个示例)：
‘’Parser‘是Monad的一个实例，但不是应用性的--这将成为GHC 7.10中的一个错误，根据应用-Monad的建议。
这是否意味着Haskell目前容忍不是应用函子的Monads但计划是纠正这一点？
浏览 5提问于2013-11-17得票数 9
回答已采纳
2回答
在Haskell中，类型的“类型”称为种类，表示为*。例如：
Maybe :: * -> *
Either :: * -> * -> *
我在想，在Haskell或其他强类型语言中，是否有类似的“类型”？
它们是否具有任何实际意义？是否有任何情况证明它们是非常有用的？
如能提及某些材料，将不胜感激。
浏览 2提问于2016-07-01得票数 1
回答已采纳
5回答
Monads有什么特别之处？
、、、、
monad是一种数学结构，在(纯)函数式编程中大量使用，基本上是Haskell。然而，还有许多其他的数学结构可用，例如应用函子、强单子或么半群。有些是更具体的，有些是。然而，monad更受欢迎。为什么会这样呢？
我提出的一种解释是，它们是一般性和特异性之间的最佳结合点。这意味着monads捕获了足够多的关于数据的假设，以应用我们通常使用的算法，并且我们通常拥有的数据满足一元定律。
另一种解释可能是Haskell为monad (do-notation)提供了语法，但没有为其他结构提供语法，这意味着Haskell程序员(因此函数式编程研究人员)直观地倾向于monad，在这种情况下，更通用或更具体(
浏览 1提问于2013-05-08得票数 28
回答已采纳
2回答
既然Haskell的数据是不可变的，你将如何全局地存储一个可以被任何函数修改的列表?你会将其多线程并存储在一个循环中吗?还是将该列表写入一个文件？我需要记录用户点击的按钮数量。
浏览 4提问于2012-02-06得票数 4
回答已采纳
2回答
因此，我最近一直在研究state，因为我想在haskell中构建一个解析器组合器库。
我偶然发现了一个名为MonadState的类型，我想知道这个类型的意义是什么，你会在哪里使用它？
浏览 5提问于2016-08-24得票数 0
回答已采纳
5回答
Haskell是一种纯函数式编程语言。
我的问题是：使用Haskell来解决涉及大量状态的问题(例如GUI编程或游戏编程)的优缺点是什么？
还有一个次要问题:以功能方式处理状态有哪些方法？
提前谢谢。
浏览 2提问于2010-10-15得票数 14
回答已采纳
1回答
为什么在Control.Monad.Reader中有一个“读取器”和一个“Control.Monad.Reader”？包文档讨论Reader，然后直接进入MonadReader文档，没有任何解释。这些单元组之间有什么区别？读这些参考书让我非常困惑。有趣的是，Haskell wikibook的Reader页面还没有写好！
浏览 4提问于2016-09-07得票数 5
回答已采纳
我正在阅读关于Haskell背后的数学基础-我已经了解了如何使用闭包来保存函数中的状态。
我想知道Haskell是否允许闭包，以及它们是如何工作的，因为它们不是纯函数？
如果一个函数修改了它的闭合状态，它将能够在相同的输入上给出不同的输出。
这在Haskell中为什么不是问题呢？是不是因为在最初给变量赋值后不能重新赋值？
浏览 3提问于2012-09-16得票数 9
回答已采纳
我是Haskell的新人。最近，我正在尝试用Haskell创建一个游戏。在该游戏中，我使用并发来创建多个线程。
data Msg = C Char | Time
forkIO $ userThread chan
forkIO $ processThread startTimer
userThread :: MVar Msg -> IO ()
userThread chan = forever $ do
c <- getChar
putMVar chan (C c)
showStr(show c)
processThread :: MVar Msg -> IO
浏览 2提问于2017-04-05得票数 1
4回答
我知道单簧管是什么以及如何使用它们。我不明白的是，做了什么，比方说，Option是一个单曲？
在Haskell中，monad Maybe是monad，因为它是从Monad类实例化的(Monad类至少有两个必需的函数-- return和bind，这使得类Monad，实际上是一个monad)。
但是在Scala，我们得到了这样的信息：
sealed abstract class Option[+A] extends Product with Serializable { ... }
trait Product extends Any with Equals { ... }
和单曲没有任何关系。
如
浏览 6提问于2014-08-18得票数 38
回答已采纳
1回答
我有一个封闭源代码的非线程安全C++共享库，它提供了一个函数f :：ByteString -> ByteString。这个函数的运行时间可以在1秒到几个小时之间。
我正在寻找一种将计算分发到多个核心/服务器(SIMD)的方法。
简单地说，我正在寻找一个提供功能的框架
g :: Strategy b -> (a -> b) -> a -> b
将只能顺序调用的函数提升到与Haskell中的任何其他纯函数一样的函数。
例如，我希望能够写：
parMap rwhnf f args -- will not work
因为f通过FFI调用非线程安全库中的C函
浏览 1提问于2012-05-12得票数 6
我正在考虑将C#应用程序转换为Haskell，作为我的第一个“真正的”Haskell项目。然而，我想确保这是一个有意义的项目。该应用程序收集来自大约1 kHz的15条串行流的数据包，将这些值加载到我的“上下文”对象上相应的循环缓冲区中，每个缓冲区都有25000个元素，然后在60 Hz时将这些数组发送到OpenGL进行波形显示。(因此，它必须作为数组存储，或者至少每16 ms转换成一个数组)。我的上下文对象上还有大约70个字段，我只维护当前(最新)值，而不是流波形。
这个项目有几个方面可以很好地映射到Haskell，但我担心的是性能。如果对于任何流中的每一个新的数据池，我必须用70个字段和15个
浏览 3提问于2012-01-31得票数 7
回答已采纳
对不起，如果这是一个非常愚蠢的问题，但我已经读过一本书和另一本关于Haskell的书，似乎不记得这是在什么地方提出的。
我要怎么做同样的事情呢？如果您想确切地知道我在做什么，我会尝试做一些Google问题来学习Haskell，输入的第一行将给出测试用例的数量。在这种情况下，我需要做相同的事情n次，其中n是测试用例的数目。
到目前为止，我能想到的唯一方法是编写这样的递归函数：
recFun :: Int -> IO () -> IO ()
recFun 0 f = do return ()
recFun n f = do
f
recFun (n-1) f
re
浏览 1提问于2015-05-10得票数 5
回答已采纳
我试着从一开始就学习Haskell，并且想知道在它中使用的两个提示(Haskell和Prelude)到底有什么不同。这听起来可能是一个非常天真的问题，更不用说我在发布这个问题之前尝试过搜索答案，但却找不到(合适的)答案。提前谢谢你。
浏览 1提问于2016-02-03得票数 11
回答已采纳
在我学习箭头的过程中，我无意中发现了一个随着时间而变得不清晰的点：
从John的论文“把Monads推广到arrow”中，我注意到下面(例一)是不可能的，因为箭头 f in参数不能在箭头过程的本地范围内使用。
-- case I
proc (f,x) -> returnA <- f -< x --- here the f is illegal
如果我们在其他地方定义了另一个箭头otherArrow，我们可以这样做：
-- case II
proc (f,x) -> returnA <- otherArrow -< x
我理解对-<的需求，
浏览 1提问于2018-07-25得票数 1
回答已采纳
2回答
Haskell如何知道每个return表达式哪个是正确的单实例？
newtype MaybeT m a = MaybeT { runMaybeT :: m (Maybe a) }
instance Monad m => Monad (MaybeT m) where
return = MaybeT . return . return
浏览 3提问于2014-07-20得票数 5
回答已采纳
2回答
我有这个Haskell代码部分：
newtype State st a = State (st -> (st, a))
instance Monad (State state) where
return x = let f t = (t,x) in State f
State f >>= g = State (\oldstate ->
let {(newstate, val) = f oldstate;
State f'= g val}
in
浏览 6提问于2012-06-05得票数 4
回答已采纳
我正在寻求编写一个通用模块，允许Haskell程序与Cassandra交互。模块将需要维护自己的状态。例如，它将有一个连接池和一个要在保存新记录时调用的回调列表。我应该如何构造代码，以使此模块能够保持其状态？以下是我一直在考虑的一些方法。我在正确的轨道上吗？(我是Haskell的新手，还在学习函数式思考的最佳方法。)
选项1：
该模块在(StateT的IO) monad中运行，其中s是使用Cassandra模块的整个程序的全局状态。当然，因为Cassandra模块可以被多个程序使用，所以s中的细节应该对Cassandra模块是不可见的。该模块必须导出一个允许它从s中提取CassandraSta
浏览 1提问于2011-01-25得票数 11
回答已采纳
1回答
haskell transformers库提供了MonadIO类和liftIO来提升单个转换器堆栈中的IO操作。在我看来，ST monad也可以这样做，但我在任何monad转换器库中都找不到它。这种遗漏有什么原因吗？如何将ST monad与例如MaybeT或ReaderT结合使用
浏览 5提问于2022-09-19得票数 5
1回答
在开始学习Haskell之后，即使在阅读了大量文档之后，我仍然无法理解Haskell中的一些东西。
我知道要执行IO操作，您必须使用一个"IO monad“，它将一个值包装在某种”黑匣子“中，所以使用IO monad的任何函数仍然是纯功能的。好吧，好吧，但是IO操作在哪里发生呢？
这是否意味着Monad本身并不是纯功能性的？或者IO操作是否实现了，比如说在C中，以及Haskell编译器中的“嵌入”？
我是否可以用纯Haskell写一些可以执行IO操作的东西，不管有没有Monad？如果不是，如果语言本身不可能，这种能力从何而来？如果它在Haskell编译器中嵌入/链接到C代码块，那么IO
浏览 3提问于2017-01-24得票数 3
回答已采纳
我正在尝试开发一个使用Haskell的聊天服务器。
有很多有用的工具，如TChan，TSkiplist，forkIO ...etc，但我的大部分代码都是在IO monads和unsafePerformIO中编写的，这听起来效率很低。
是否可以这样做，或者haskell不是用于此目的的正确工具？
浏览 0提问于2012-10-16得票数 8
回答已采纳
2回答
因此，我最近对monads进行了大量的研究，而且我对Haskell编程语言非常陌生。
这是我的密码：
import Data.List
import System.IO
f :: Int -> (Int, [Char])
f x = (x, ['a'])
g :: Int -> (Int, [Char])
g y = (y, ['b'])
(>>=) :: (Int -> (Int, [Char])) -> (Int -> (Int, [Char])) -> Int -> (Int, [Char])
(
浏览 1提问于2017-06-24得票数 2
回答已采纳
我目前正在通过与Haskell合作。练习1.15询问函数被调用了多少次。这个想法可能是你应该使用替换方法，但我想知道如何在代码中做到这一点。
在命令式语言中，可以保留一个全局变量，并在每次调用函数时递增该变量。但在Haskell (或纯函数式方式)中该如何处理呢？
浏览 3提问于2012-03-29得票数 14
回答已采纳
1回答
最近，我试图通过阴谋安装在OSX10.9上安装fpco-api，但是在构建阶段出现了错误。以下是错误列表：
... lots of 'loading package'
Loading package asn1-data-0.7.1 ... linking ... done.
Loading package asn1-types-0.2.3 ... linking ... done.
Loading package crypto-pubkey-types-0.4.1 ... linking ... done.
Loading package pem-0.2.1 ... linki
浏览 2提问于2014-01-22得票数 2
回答已采纳
1回答
我正在阅读Haskell中的一些代码，我无法理解并找到一个解释，说明如果一个函数返回一个IO (不管什么)，在此之前它可以有其他类型。
这个函数很清楚，可能返回一个IO
可能是用户-> IO (可能是用户)
但是下一个从scotty图书馆返回一个单一的ActionT文本的IO可能？我的思想就要爆炸了！
可能是用户-> ActionT文本IO (可能是用户)
浏览 1提问于2018-08-11得票数 1
回答已采纳
从数学上讲，函数应用的二进制运算是一个内函子/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
回答已采纳
2回答
包括我在内的许多haskell程序员喜欢毫无意义的风格，尤其是在编写复杂的解析器时。它们使代码更具可读性，更少冗长。但有时，情况正好相反(例如，在(->) a中滥用Monad和friends的实例)。
请给我一些基本的指导方针，你认为无意义的风格什么时候有用，什么时候不有用。例如，如果我必须使用部分组合(类似于flip ((.) . take) . drop)，我总是使用lambda。
浏览 0提问于2011-03-15得票数 14
回答已采纳
试图在haskell中为这个单曲定义绑定。如果计算成功，则调用SCont继续，如果失败，则调用FCont继续。
type M a = SCont a -> FCont -> Answer
type SCont a = a -> FCont -> Answer
type FCont = () -> Answer
result :: a -> M a
result x ks kf = ks x kf
(>>=) :: M a -> (a -> M b) -> M b
浏览 2提问于2016-03-30得票数 0
我可能不太了解IO单。
如果我编写了一个预期运行数月的应用程序，同时记录其进度，IO monad会将所有日志信息保存在RAM中直到结束吗？
在上的博客中，Haskell将世界建模为
main :: RealWorld -> ((), RealWorld)
这样，在执行代码的Haskell部分时，IO就不会出现，而只是当应用程序从main返回时。
我可能完全误解了这一点。有人能解释一下， Haskell实际上是做IO的吗？
浏览 2提问于2012-06-04得票数 7
回答已采纳
我目前正在尝试移植一个很大的项目，从Haskell (通过电子邮件服务的棋盘游戏)，因为我一直有乐趣写Haskell，并发现它模型的游戏逻辑相当好。
我已经相当清楚的知道我想要实现什么，因为我写了服务和25场游戏，但我不确定这是最好的方式去做它，或确切地如何实现它。
大多数裸露的棋盘游戏功能如下：
随机性
错误(主要是验证，当做可能破坏游戏规则的事情时)
日志记录(在游戏中发生的事情时会产生人类可读的日志)
我一直试图使用的单簧管如下：
我的问题是，我很难弄清楚如何在一个函数中使用这三个函数。对于一个精心设计的示例，我为游戏数据定义了一个类型，并将
浏览 0提问于2016-02-15得票数 1
3回答
我想学习F#，但让我感到困惑的是计算表达式(do-notation??)语法和去语法。
在haskell中，您有一个非常简单的Monad类型和规则，用于对bind和return进行标记。在添加关键字时没有什么神奇之处；唯一必须匹配的是类型。
在F#中有许多构造器、关键字和复杂性。
对于如何将一个概念映射到另一个概念，有一个很好的解释吗？
我基本上想知道我是如何绘制地图的
do
x <- monadicComputation
foo x
someOtherMonadicComputation
let y = somePureComputation x
return $
浏览 5提问于2013-10-25得票数 8
回答已采纳
回顾一下工作单元模式的定义，似乎很像程序员实现了Monad，比如IO或Transaction。是什么使工作单位的概念与Monad的使用有根本的不同？假设我们所使用的语言有足够的能力完全实现大多数常见的Monad，并且可以实现类似于您在Java或C#中可能找到的工作模式单元，特别是具有像Scala或Haskell这样的类型系统的工作模式。
如果可以选择一个而不是另一个，那么每种方法的优缺点是什么？
浏览 0提问于2015-03-14得票数 1
回答已采纳
这是关于Haskell中的语法糖。一个简单的Haskell程序：
main = do
args <- getArgs
let first = head args
print first
我在第一行(args <- getArgs)使用绑定，在第二行(let first = ...)使用纯赋值。有没有可能把它们合并成一个可读的一行程序？
我知道我可以重写绑定“去糖化”：
main = do
first <- getArgs >>= ( return . head )
print first
但是有没有一种更好的方法，不用(>>=)和r
浏览 2提问于2009-03-18得票数 9
回答已采纳
3回答
我刚刚开始使用netwire，我在基本知识方面遇到了困难。
下面的代码对我来说很好：
main :: IO ()
main = testWire clockSession_ (for 3 . yeah)
yeah :: Monad m => Wire s () m a String
yeah = pure "yes"
但这并不意味着：
main :: IO ()
main = testWire clockSession_ forYeah
forYeah :: (Show b, Show e) => Wire s e Identity a b
forYeah =
浏览 2提问于2013-12-02得票数 5
回答已采纳
我想做一个Haskell函数，它可以从给定的列表中挑选出一个随机数。我的类型签名是：
randomPick :: [a] -> a
我该怎么办？
浏览 0提问于2010-05-28得票数 22
2回答
有没有什么Haskell方法可以停止/酸洗/取消酸洗/恢复计算？
关于这一点的一些相关讨论似乎发生在上，但没有提出适当的解决方案。此外，这种讨论已经很久了。
如果有某种类型的事件系统用于触发计算的停止和恢复状态，这也是很好的。
浏览 1提问于2014-01-04得票数 5
1回答
我在“为伟大的美好而学习一个哈斯克尔”一书中学习有关单子的知识。米兰·利波瓦写的。我正在阅读Control.Monad.Writer模块如何导出Writer w a type及其Monad实例，以及处理此类值的一些有用函数。
它给出了一个Writer type声明示例。
关于下列代码：
-- Writer w a corresponding to (a, w) <--- the order is reversed
newtype Writer w a = Writer { runWriter :: (a, w) } -- <--- (a, w)
在这里，为什么对类型顺序是颠倒的？
浏览 11提问于2022-03-12得票数 7
在Haskell中，Writer和WriterT有什么不同？一个比另一个更受欢迎吗？
浏览 0提问于2011-10-03得票数 10
回答已采纳
1回答
我试图使用在parseFile包中找到的haskell-src-exts函数来解析一个文件。
我正在尝试使用parseFile的输出，这当然是IO，但我不知道如何绕过IO。我找到了一个函数liftIO，但我不确定在这种情况下这是否是解决方案。下面是代码。
import Language.Haskell.Exts.Syntax
import Language.Haskell.Exts
import Data.Map hiding (foldr, map)
import Control.Monad.Trans
increment :: Ord a => a -> Map a Int
浏览 3提问于2013-08-13得票数 6
回答已采纳
2回答
我正在用Haskell编写一个函数，它接受一个Java类文件，并编写另一个相同但包含一些修改的类文件。为此，我觉得我绝对需要一个state monad来至少保存类文件中所有字节的Word8。然而，在我对Haskell中的State Monad进行了所有的研究之后，我仍然无法弄清楚如何做到这一点。有谁能给我指个方向吗？我希望能够有一个在所有函数的范围内，我可以从函数修改的。我知道这涉及到使用类似state<-get ...put newstate
但是我真的不知道从哪里开始定义monad之类的东西。
提前谢谢你！
浏览 1提问于2012-04-20得票数 1
我想在Haskell创建一个小型的一元翻译程序，我遇到了一个问题，GHC向我抱怨说它们不匹配。
具体来说，这里是数据类型值的声明：
data Value = Wrong
| Num Int
| Fun (Value -> Monad Value)
当我编译它时，GHC提供了以下错误消息：
The first argument of ‘Monad’ should have kind ‘* -> *’,
but ‘Value’ has kind ‘*’
In the type ‘Value -> (Monad Value)’
In
浏览 1提问于2014-12-02得票数 2
回答已采纳
7回答
我是haskell，函数式语言和monads的新手。
一个月来，我一直在玩这个游戏；我读过，还在玩snap，试图让我的haskell网站。
但是有件事困扰着我:单体的抽象。如果我理解正确的话，monads就是可以排序的“数据容器”。例如，我可以用">>=“来”解压“它，并且会为我做更多的”幕后“工作，这样如果我没有单一的定义，我就必须猜测它是如何被解压的。
例如：
我们有一个列表单，解压它将对它的元素排序。
[1,2,3] >>= return . (+1) -- gives back [2,3,4]
或者像这些例子中的作者那样更复杂的单曲：
或者我可能有一个w
浏览 4提问于2013-09-10得票数 6
回答已采纳
1回答
我有一些哈斯克尔代码，并希望一个脚本能够访问它。问题是Haskell代码使用了monad。Fay不支持任意的monad。如何让我的Haskell代码与Fay一起工作？也就是说，Fay脚本需要能够从Haskell脚本访问函数。我做什么好？
浏览 18提问于2014-03-05得票数 1
我目前正在学习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
回答已采纳
在APL和Haskell中，monad是指两个完全不同的事物，还是从两个不同的角度来看相同的事物。
我对这两种语言都很陌生，并试图理解更高层次的概念。
浏览 9提问于2014-05-06得票数 10
回答已采纳
我目前正在Haskell学习应用程序。如果我没有错，那么列表有两个不同的应用实例(List和ZipList --第二个被定义为包装列表值的新类型)。对于我来说，ZipList应用程序实例似乎更直观。
这可能是一个愚蠢的问题，但是否有一个特定的原因，ZipList不是默认的应用实例的列表。
pure (+) <*> [1,2,3] <*> [4,5,6]
-- [5,6,7,6,7,8,7,8,9]
pure (+) <*> ZipList [1,2,3] <*> ZipList [4,5,6]
-- ZipList [5,7,9]
是因为应用程
浏览 2提问于2016-06-04得票数 9
回答已采纳
看看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
我正在使用在Haskell中编写一个shell脚本，并希望了解编写可能失败的命令的最佳实践。
现在我有了一个表达案例的楼梯，就像这样：
runRemote :: MonadIO io => Text -> Text -> io ()
runRemote oldVersion' newVersion' = sh $ do
mkdir "out"
e1 <- shell ("command " <> oldVersion') empty
case e1 of
ExitFailure n
浏览 2提问于2015-10-19得票数 6
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
