在haskell中创建monad
在Haskell中，Monad是一个非常重要的概念，它是一个类型类，用于表示具有某些特定的计算能力的数据类型。Monad可以让你更方便地处理各种计算过程，例如异步计算、错误处理、状态管理等。
在Haskell中，创建Monad需要遵循一些基本规则。首先，需要定义一个数据类型，该数据类型将包含Monad所需的计算过程。然后，需要实现Monad类型类的三个方法：return、(>>=)和(>>)。其中，return方法用于将一个值包装成Monad，(>>=)方法用于将一个Monad的值传递给另一个Monad，(>>)方法用于将一个Monad的值传递给另一个Monad，但是不关心它的返回值。
以下是一个简单的例子，演示如何在Haskell中创建Monad：
data MyMonad a = MyMonad { runMyMonad :: IO a }
instance Monad MyMonad where
return x = MyMonad (return x)
m >>= k = MyMonad $ runMyMonad m >>= runMyMonad . k
m >> k = MyMonad $ runMyMonad m >> runMyMonad k在这个例子中，我们定义了一个名为MyMonad的数据类型，它包含一个IO类型的值。然后，我们实现了Monad类型类的三个方法。return方法将一个值包装成MyMonad，(>>=)方法将一个MyMonad的值传递给另一个MyMonad，(>>)方法将一个MyMonad的值传递给另一个MyMonad，但是不关心它的返回值。
在实际应用中，Monad可以用于处理各种计算过程，例如异步计算、错误处理、状态管理等。例如，在Haskell中，IO Monad可以用于处理异步计算，State Monad可以用于处理状态管理等。
总之，在Haskell中创建Monad需要遵循一些基本规则，并实现Monad类型类的三个方法。Monad可以用于处理各种计算过程，例如异步计算、错误处理、状态管理等。
相关·内容
在中，他认为所有的单子都是应用函子。
在Haskell7.7编译器输出中，我看到了以下内容(另一个示例)：
‘’Parser‘是Monad的一个实例，但不是应用性的--这将成为GHC 7.10中的一个错误，根据应用-Monad的建议。
这是否意味着Haskell目前容忍不是应用函子的Monads但计划是纠正这一点？
浏览 5提问于2013-11-17得票数 9
回答已采纳
问题描述
看来，自从Haskell出版以来，Haskell发生了一些变化，“为伟大的利益而学习你一个Haskell”。在创建Monads时，您不仅必须定义Functor，而且现在还要定义Applicative实现。
在书的第14章中，在关于的一节中，我们定义了一个类似于.
newtype Prob a = Prob { getProb :: [(a, Rational)] } deriving Show
然后它的Functor实例..。
instance Functor Prob where
fmap f (Prob xs) = Prob $ map (\(x, p) -> (f x
浏览 3提问于2021-05-23得票数 1
回答已采纳
我读了一些Haskell的Stack和Queen示例代码(比如：)。他们使Stack和Queen作为国家Monad的实例，使其易于使用。
那么，Haskell的名单能作为国家Monad的例子吗？
但如果不是，为什么？似乎被插入到一个列表中
1:[2,3,4]
就像堆里的第一推。所以
可以作为国家Monad?的实例列出
如果可以的话，为什么Haskell不把它作为State的实例呢？我认为因为它是最常用的数据结构，所以如果将它作为State的实例，就很难使用(与直接使用它相比)
浏览 4提问于2021-06-09得票数 0
回答已采纳
我才刚开始学Haskell。我对C，C++，Java和PHP有丰富的经验。不过，我仍然不知道如何在Haskell中打印0到10之间的数字，而没有在不同的行上有putStrLn。
在Java中，我们会这样做：
for(int i=0; i<=10; i++)
System.out.println(i);
但是，Haskell似乎不支持这一点。我怎样才能产生同样的结果？
浏览 4提问于2014-06-20得票数 1
回答已采纳
在haskell中存储一些状态的任务的设计模式是什么？例如，我想用haskell编写库，它提供配置文件读取并将配置参数存储在内存中。
例如：
我有配置文件。配置文件的语法现在并不重要。我读取配置文件，将其解析为某种haskell数据结构。接下来，我想退出使用这个库从config中获取参数的程序。我们在haskell中没有全局变量。我不想调用每次都会读取和解析配置的函数。我想读取配置一次，然后获得参数很多次。
在haskell中，对于这些类型的问题，有什么是常见的做法？
谢谢。
浏览 0提问于2012-12-25得票数 4
回答已采纳
在Haskell中，Writer和WriterT有什么不同？一个比另一个更受欢迎吗？
浏览 0提问于2011-10-03得票数 10
回答已采纳
1回答
在Haskell中，类Monad的定义如下：
class Monad m where
(>>=) :: m a -> (a -> m b) -> m b
(>>) :: m a -> m b -> m b
return :: a -> m a
fail :: String -> m a
我想用Dart来表达上面Haskell代码中的m所说的:每个Monad类都必须有在同一monad的对象上执行计算的方法。有可能吗？多么?
浏览 1提问于2014-01-04得票数 3
在我问了一段时间后，我在Haskell Wiki上一个关于的页面上偶然发现了这个未解释的短语
“创建违反假定法则的类实例(参见EvilIx)”
作为可能攻击lambdabot的一个例子。
因为lambdabot使用GHC，所以这可能是GHC的一个bug (或特性)，它对类法进行了假设。有人记得这些是什么吗？这种情况曾经(或可能)以酸性方式发生过吗？
(在谷歌上搜索"haskell +Evillx“没有结果)。
浏览 0提问于2011-08-07得票数 7
回答已采纳
2回答
因此，我最近一直在研究state，因为我想在haskell中构建一个解析器组合器库。
我偶然发现了一个名为MonadState的类型，我想知道这个类型的意义是什么，你会在哪里使用它？
浏览 5提问于2016-08-24得票数 0
回答已采纳
在haskell中纯净和不纯净的区别是什么？在haskell中执行IO时，将纯项目和不纯项目分开是什么意思？
浏览 6提问于2013-03-03得票数 13
回答已采纳
1回答
追踪历史
、、、、
在GHCI或其他基于Haskell的REPL中，历史管理是如何工作的？由于Haskell是一种纯语言，所以我想它是使用monad实现的，也许是。
请注意，我是一个在Haskell的初学者，所以请提供一个详细的解释，而不是仅仅链接到源代码。
浏览 1提问于2016-06-19得票数 2
回答已采纳
2回答
我想在Haskell中创建我自己的单曲，让Haskell像其他在monad中构建的一样对待它。例如，下面的代码用于创建一个monad，它在每次调用全局状态变量时更新某个全局状态变量，以及一个用于计算调用quot函数次数的评估器：
-- define the monad type
type M a = State -> (a, State)
type State = Int
-- define the return and bind operators for this monad
return a x = (a, x)
(>>=) :: M a -> (a ->
浏览 6提问于2014-10-22得票数 5
回答已采纳
2回答
Haskell中的默认函数组合
、、、、
假设我有一个定义如下的mean函数：
mean xs = sum xs / (fromIntegral $ length xs)
但我想以某种默契的形式，就像这样：
mean = sum / (fromIntegral . length)
有没有一种内置的Haskell方法来做这些事情，而不需要构建我自己的tacit函数(类似这样的函数)：
tacit :: (a -> b -> c) -> (d -> a) -> (d -> b) -> d -> c
tacit a b c i = a (b i) (c i)
在此表单中，该函数如下所示：
me
浏览 1提问于2012-08-22得票数 13
回答已采纳
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的书，学习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
回答已采纳
通过在沙箱中安装最新的ghc (5.2.1.1)，我得到了这个错误：
[15 of 38] Compiling Language.Haskell.GhcMod.CabalConfig ( Language/Haskell/GhcMod/CabalConfig.hs, dist/dist-sandbox-94286619/build/Language/Haskell/GhcMod/CabalConfig.o )
[16 of 38] Compiling Language.Haskell.GhcMod.CabalApi ( Language/Haskell/GhcMod/CabalApi.hs,
浏览 2提问于2014-12-24得票数 3
回答已采纳
我正在帮助一位朋友学习Haskell，他最近创建了类似这样的代码，它输入检查并在运行时生成一个消耗CPU的循环。我完全被这事搞糊涂了。
import Control.Monad
import Control.Applicative
main = forever putStrLn "Hello, infinity"
这不应该键入检查，但可以。正确的版本显然是：
main = forever $ putStrLn "Hello, infinity"
让我感到奇怪和惊讶的是，使用和不导入Control.Applicative会得到不同的结果。如果不导入它，它就不会键
浏览 4提问于2012-03-17得票数 11
回答已采纳
1回答
在Haskell中，foldm (foldl的monad版本)就有这种类型。 foldM :: (Monad m) => (a -> b -> m a) -> a -> [b] -> m a (例如，请参见this。) Python的等价物可以这样声明。 a = TypeVar('a')
b = TypeVar('b')
def foldM(f: Callable[[a, b], Monad], acc: a, xs: List[b]) -> Monad:
... 这样做的一个问题是，它没有将Monad显示为由
浏览 9提问于2019-04-06得票数 1
1回答
我已经学习了函子和单子的定义，但除了定义之外，我仍然找不出它们之间的区别。我读过一些关于这个问题的答案，在上有一个评论说
函子接受纯函数(和函数式值)，而monad则采用Kleisli箭头，即返回单值(和一元值)的函数。因此，您可以链接两个单曲，而第二个单曲可以依赖于前一个单曲的结果。你不能用函子做这个。
这个评论很有趣，让我读到了它们的不同之处。但我还有一些问题。
为什么函子不能使用前一个函数的结果？既然fmap :: (a -> b) -> f a -> f b，当我用一个纯函数运行fmap时，我可以得到一个f a -> f b函数，f b依赖于f a，结果是否意
浏览 9提问于2022-10-27得票数 2
回答已采纳
5回答
(如何)在Scala中以通用的方式表示monads (就像Haskell中的Monad类型类)？有没有可能为此定义一个trait Monad？
浏览 0提问于2010-01-03得票数 25
回答已采纳
我目前正在通过与Haskell合作。练习1.15询问函数被调用了多少次。这个想法可能是你应该使用替换方法，但我想知道如何在代码中做到这一点。
在命令式语言中，可以保留一个全局变量，并在每次调用函数时递增该变量。但在Haskell (或纯函数式方式)中该如何处理呢？
浏览 3提问于2012-03-29得票数 14
回答已采纳
我可能不太了解IO单。
如果我编写了一个预期运行数月的应用程序，同时记录其进度，IO monad会将所有日志信息保存在RAM中直到结束吗？
在上的博客中，Haskell将世界建模为
main :: RealWorld -> ((), RealWorld)
这样，在执行代码的Haskell部分时，IO就不会出现，而只是当应用程序从main返回时。
我可能完全误解了这一点。有人能解释一下， Haskell实际上是做IO的吗？
浏览 2提问于2012-06-04得票数 7
回答已采纳
我正在考虑将C#应用程序转换为Haskell，作为我的第一个“真正的”Haskell项目。然而，我想确保这是一个有意义的项目。该应用程序收集来自大约1 kHz的15条串行流的数据包，将这些值加载到我的“上下文”对象上相应的循环缓冲区中，每个缓冲区都有25000个元素，然后在60 Hz时将这些数组发送到OpenGL进行波形显示。(因此，它必须作为数组存储，或者至少每16 ms转换成一个数组)。我的上下文对象上还有大约70个字段，我只维护当前(最新)值，而不是流波形。
这个项目有几个方面可以很好地映射到Haskell，但我担心的是性能。如果对于任何流中的每一个新的数据池，我必须用70个字段和15个
浏览 3提问于2012-01-31得票数 7
回答已采纳
2回答
我有以下函数：
lines' :: [IO String]
lines' = getLine : lines'
我希望我可以使用这个列表中所有强大的列表函数，比如filter等，但我对haskell中的IO monad的了解是可以提高的。
在将Rx用于C#之后，我相信了-io_stuff-概念列表。
有没有办法在haskell中做我想做的事？类似于：
ten_lines :: [IO String]
ten_lines = take 10 lines'
proc_lines :: [IO String]
proc_lines = [ (l, length l)
浏览 0提问于2013-05-07得票数 4
回答已采纳
1回答
haskell transformers库提供了MonadIO类和liftIO来提升单个转换器堆栈中的IO操作。在我看来，ST monad也可以这样做，但我在任何monad转换器库中都找不到它。这种遗漏有什么原因吗？如何将ST monad与例如MaybeT或ReaderT结合使用
浏览 5提问于2022-09-19得票数 5
我在Haskell中寻找一个函数或操作符，它实际上是一个Monad等价的Applicative操作符<*>，它应用一个一元操作而不是一个裸函数，而不是这样：
(<*>) :: Applicative f => f (a -> b) -> f a -> f b
我在找像这样的东西：
... :: Monad m => m (a -> m b) -> m a -> m b
我不敢相信这不是一个标准的函数，但我不能看到任何匹配的东西。我是不是遗漏了什么？
浏览 2提问于2016-06-18得票数 5
回答已采纳
这些天我在学习scalaz。当我比较scalaz和Haskell时，我发现很难定制我自己的monad转换器。
我可以在Haskell中这样做的代码：
newtype Box a = Box a deriving Show
-- Monad instance of Box, it's simple, I pass it..
newtype BoxT m a = BoxT {runBoxT :: m (Box a)}
instance (Monad m) => Monad (BoxT m) where
return a = BoxT $ return $ Box a
浏览 13提问于2020-02-26得票数 0
回答已采纳
1回答
我可以很容易地在Haskell中定义一般的Functor和Monad类：
class (Category s, Category t) => Functor s t f where
map :: s a b -> t (f a) (f b)
class Functor s s m => Monad s m where
pure :: s a (m a)
join :: s (m (m a)) (m a)
join = bind id
bind :: s a (m b) -> s (m a) (m b)
bind f =
浏览 0提问于2018-12-27得票数 7
回答已采纳
从数学上讲，函数应用的二进制运算是一个内函子/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和STM的新手，我正在尝试理解基本的概念。
在Haskell和函数式编程中，如果我错了，请纠正我，没有像赋值这样的东西。
我不能写x=3;，我能做的就是用x和3生成另一个绑定。
现在谈到TVar和线程，如果我有多个线程共享相同的TVar，如果一个线程更改了值，使用writeTVar，其他线程将看到更改后的值，对吗？
因此，如果我有两个线程共享相同的TVar Int变量，并且第一个线程将其加1，那么在成功的情况下，第二个线程将看到更新值？
塔克斯
浏览 8提问于2013-01-05得票数 1
回答已采纳
2回答
我想在一系列不变的值中跟踪“当前”值。在Haskell中，不为每一个新的价值引入一个新的引用，最好的方法是什么？下面是一个示例：
data Person = Person {name, level, topic :: String }
deriving(Show)
dierk :: Person
dierk = Person "Dierk" "confident" "Java"
works :: Person -> String
works person = name person ++ " is " ++ le
浏览 1提问于2015-03-14得票数 1
回答已采纳
1回答
当我需要查找包含符号的包时，我使用Google或Hoogle。99%的案例我找到了Hackage的引用(这很好)。
有办法在本地查找吗？
示例：
$ ghci
Prelude> :i MonadState
Not in scope: data constructor `MonadState'
然后我搜索"hackage MonadState“，发现
http://hackage.haskell.org/.../Control-Monad-State-Class.html
然后：
Prelude> :m Control.Monad.State
Prelude>
浏览 3提问于2012-11-25得票数 1
回答已采纳
在测试时，我想从磁盘读写文件(JSON in，JSON out)。我如何在PureScript中做到这一点？在Haskell中，我有类似这样的东西
main :: IO ()
main = do
input <- readFile "input.json"
writeFile "output.json" $ process input
到目前为止，我所有的尝试都失败了，包括尝试从import Node.FS.Sync使用readFile。
顺便说一句，如果有任何其他(更好的)方法读取我的JSON文件，请让我知道。(我不是JavaScript专家，但
浏览 4提问于2016-03-01得票数 9
我正在尝试开发一个使用Haskell的聊天服务器。
有很多有用的工具，如TChan，TSkiplist，forkIO ...etc，但我的大部分代码都是在IO monads和unsafePerformIO中编写的，这听起来效率很低。
是否可以这样做，或者haskell不是用于此目的的正确工具？
浏览 0提问于2012-10-16得票数 8
回答已采纳
wiki.haskell.org上的99个Haskell问题中的第6个提供了一种单调的方法来测试列表([a]类型的内容)是否为回文： isPalindromeM :: (Eq a) => [a] -> Bool
isPalindromeM = reverse >>= (==) (在这里，reverse :: [c] -> [c]获取一个列表，并以倒序输出一个列表)。 绑定操作暗示这里有一个monad在起作用，但是这个monad是什么呢？ 由于isPalindrome涉及列表，我的第一个猜测是单元格与列表单元格相关，但我不知道如何绘制它们之间的联系。
浏览 34提问于2021-11-12得票数 10
回答已采纳
3回答
在像Haskell这样的函数式语言中，有可能达到非常低的级别吗？(例如创建内核或设备驱动程序)。功能特性(像monad)在那里会快速有效吗？
浏览 0提问于2010-10-05得票数 16
回答已采纳
4回答
我正在学习Haskell，并且正在为一个类实现一个算法。它工作得很好，但这个类的一个要求是，我需要对两个数字相乘或相加的总次数进行计数。这就是我在其他语言中使用全局变量的原因，我的理解是Haskell对此深恶痛绝。
一种选择是让每个函数只返回此数据及其实际结果。但这似乎并不有趣。
我是这样想的:假设我有一些f :: Double -> Double函数。我是否可以创建一个数据类型(Double, IO)，然后使用函数器来定义跨(Double, IO)的乘法，以便执行乘法并将某些内容写入IO。然后我就可以把我的新数据传递给我的函数了。
这有什么意义吗？有没有更简单的方法来做这件事？
编辑:
浏览 9提问于2011-02-26得票数 2
回答已采纳
我正在阅读关于Haskell背后的数学基础-我已经了解了如何使用闭包来保存函数中的状态。
我想知道Haskell是否允许闭包，以及它们是如何工作的，因为它们不是纯函数？
如果一个函数修改了它的闭合状态，它将能够在相同的输入上给出不同的输出。
这在Haskell中为什么不是问题呢？是不是因为在最初给变量赋值后不能重新赋值？
浏览 3提问于2012-09-16得票数 9
回答已采纳
试图在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
3回答
我最近看了一下Haskell的Monad - State。我已经能够创建在Monad上运行的函数，但我正在尝试将行为封装到一个类中，基本上我正在尝试在Haskell中复制类似如下的内容：
class A {
public:
int x;
void setX(int newX) {
x = newX;
}
void getX() {
return x;
}
}
如果有人能帮上忙，我将不胜感激。谢谢!
浏览 3提问于2011-06-01得票数 1
我的问题与另一个问题的答案有关：
在他的回答中，ertes写了以下类型的签名
select :: [a] -> [(a, [a])]
但是，当实际使用select时，ertes会在do块中写入以下内容
(y, ys) <- select xs
请帮助我了解一下元组(y, ys)如何匹配返回类型的select，即[(a, [a])]。Haskell是不是在某个时候胁迫这些类型的人？( Haskell有没有强迫过类型的人？)<-是否从(a, [a])返回的列表单片中提取(a, [a])类型的元组？
谢谢，麦克斯
--编辑：--
@Lee提醒新手在思考类型之前要注意粗俗。在将>
浏览 4提问于2014-01-19得票数 6
回答已采纳
这是关于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
回答已采纳
我一直在读西蒙·马洛( Simon Marlow )的“Haskell中的并行和并发的Progaramming”(顺便说一句)他说Eval Monad只并行地评估延迟的数据结构，而Par Monad是为了避免依赖懒惰的评估而创建的。但是使用evaluated，您可以使用deepseq和force来获得完全评估的数据结构，即非惰性数据结构。那么，除了与Eval Monad相关的不同编程模型之外，Par Monad的价值命题是什么？
浏览 2提问于2014-04-27得票数 11
回答已采纳
5回答
Monads有什么特别之处？
、、、、
monad是一种数学结构，在(纯)函数式编程中大量使用，基本上是Haskell。然而，还有许多其他的数学结构可用，例如应用函子、强单子或么半群。有些是更具体的，有些是。然而，monad更受欢迎。为什么会这样呢？
我提出的一种解释是，它们是一般性和特异性之间的最佳结合点。这意味着monads捕获了足够多的关于数据的假设，以应用我们通常使用的算法，并且我们通常拥有的数据满足一元定律。
另一种解释可能是Haskell为monad (do-notation)提供了语法，但没有为其他结构提供语法，这意味着Haskell程序员(因此函数式编程研究人员)直观地倾向于monad，在这种情况下，更通用或更具体(
浏览 1提问于2013-05-08得票数 28
回答已采纳
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
回答已采纳
我正在学习Haskell，并试图找出实现视线算法的最常用的方法。
我找到的演示代码使用了state monad，但对我(我只是个初学者)来说，递归传递state似乎更简单。这里我漏掉了什么？是否存在性能问题？
在以下位置查找代码：
谢谢,
克里斯。
浏览 3提问于2009-09-21得票数 9
回答已采纳
4回答
我在Haskell中有一个关于dates和String的初学者问题。
我需要得到日期的一部分(年，月或日)作为String在哈斯克尔。我发现，如果我在GHCi中编写以下两行代码
Prelude> now <- getCurrentTime
Prelude> let mon = formatTime defaultTimeLocale "%B" now
那么mon的类型就是String。但是，我无法将其放入函数中。例如，我尝试了以下几点：
getCurrMonth = do
now <- getCurrentTime
putStrLn (f
浏览 2提问于2011-04-07得票数 6
回答已采纳
2回答
我想写一个Haskell函数来生成整数。函数将在第一次调用时返回1，然后在每次调用函数时返回下一个整数。
在Python中，我使用了生成器的概念-整数生成器可能如下所示：
def intGen():
x = 1
while True:
yield x
x += 1
integer = intGen()
# Use the generator
next(integer) # 1
next(integer) # 2
next(integer) # 3
我如何在Haskell中完成这样的事情？我知道我可能需要State monad
浏览 1提问于2014-10-15得票数 0
2回答
我正在用Haskell编写一个函数，它接受一个Java类文件，并编写另一个相同但包含一些修改的类文件。为此，我觉得我绝对需要一个state monad来至少保存类文件中所有字节的Word8。然而，在我对Haskell中的State Monad进行了所有的研究之后，我仍然无法弄清楚如何做到这一点。有谁能给我指个方向吗？我希望能够有一个在所有函数的范围内，我可以从函数修改的。我知道这涉及到使用类似state<-get ...put newstate
但是我真的不知道从哪里开始定义monad之类的东西。
提前谢谢你！
浏览 1提问于2012-04-20得票数 1
我正在尝试创建一个函数，它将接受两个整数值，它们对应于输出如下的1s矩形的宽度和高度：
Main> rectangle 3 4
1111
1111
1111
我是一个在Haskell的初学者，没有经验，所以任何指点都会被感激，因此，只有基本的Haskell操作应该使用。谢谢。
浏览 3提问于2015-11-24得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM活动推荐
腾讯云开发者
