如何加入两个Haskell IO monads
在Haskell中，要将两个IO monads组合起来，可以使用do语法或者>>=操作符。
- 使用
do语法：
import Control.Monad
main :: IO ()
main = do
result1 <- ioAction1
result2 <- ioAction2
-- 执行其他操作
putStrLn $ result1 ++ result2
ioAction1 :: IO String
ioAction1 = do
-- 执行IO操作1
return "Hello"
ioAction2 :: IO String
ioAction2 = do
-- 执行IO操作2
return " World"上述代码中，ioAction1和ioAction2是两个IO actions，它们分别返回String类型的结果。在main函数中，通过使用do语法，我们可以使用<-绑定运算符来获取每个IO action的结果，并将结果组合在一起进行处理。
- 使用
>>=操作符：
import Control.Monad
main :: IO ()
main =
ioAction1 >>= \result1 ->
ioAction2 >>= \result2 ->
-- 执行其他操作
putStrLn $ result1 ++ result2
ioAction1 :: IO String
ioAction1 = do
-- 执行IO操作1
return "Hello"
ioAction2 :: IO String
ioAction2 = do
-- 执行IO操作2
return " World"上述代码中，>>=操作符允许我们按顺序连接两个IO actions，它将前一个action的结果传递给后一个action。通过使用\result1 ->和\result2 ->，我们可以将每个action的结果绑定到相应的变量中，并在后续操作中使用它们。
以上两种方法都可以将两个Haskell IO monads组合在一起，以实现需要的逻辑。对于更复杂的情况，可以使用Monad类型类提供的其他操作符和函数，如sequence、mapM等。
请注意，由于题目要求，我不能提及云计算品牌商相关内容。如果你需要了解与云计算相关的更多细节，可以查阅相关资料或参考腾讯云的官方文档。
相关·内容
嗨，我是Haskell的新手，我一直在用Scotty和Sqlite开发一个小的web应用程序。
我在执行Sqlite操作时遇到了问题。当单独使用时，我对这两个库有一定的理解。
下面是我的代码的MVP
-- imports ...
routes :: ScottyM ()
routes = do
post "data/:id" $ do
id <- param "id"
-- HERE IS WHERE I GET CONFUSED
-- This is what I want to do
浏览 18提问于2017-08-19得票数 2
回答已采纳
我是Haskell的新手，我想知道如何在Haskell中打印两个函数的结果，在c++中我会这样做：
cout << f() << g();
或者在c#中：
Console.WriteLine(f() + " " + g());
在Haskell中，我尝试了如下内容
main =
--putStr ( show $ square 3 )
putStr ( show $ fibSeries 12 )
square :: Int -> Int
square x = x * x
fib :: Int -> Int
fib 0 =
浏览 1提问于2013-06-24得票数 5
回答已采纳
在计算Haskell模块中的“导入Control.Monad.State”行时，GHC给出了以下错误：
找不到模块‘Control.Monad.State’：它在多个包中找到:monads-0.0.0.1MTL-1.1.0.2失败，模块加载:无。
我该如何解决这场冲突？
浏览 0提问于2010-01-12得票数 21
回答已采纳
我想做一个简单的单位转换器，我写道：
value :: String -> Float
value "mg" = 0.001
value "g" = 1
value "dag" = 10
value "kg" = 1000
value "t" = 1000000
main = do
putStrLn "enter the number: "
numbr <- getLine
putStrLn "enter the unit: "
uni
浏览 0提问于2013-01-05得票数 1
回答已采纳
2回答
Haskell 2010报告说
do表达式为提供了一种更为传统的一元编程语法。它允许一个表达式，例如
putStr "x：“>> getLine >>= \l ->返回(单词l)
以更传统的方式写成：
做putStr "x：“l <- getLine返回(单词l)
汤普森的函数式编程技巧Haskell说
我们将继续使用do表示法，但要记住，它本质上是，它归结为一个函数(>>=)的存在，它执行I/O程序的排序工作，并将其结果绑定到将来使用。
以上是否意味着在monad的上下文中必须使用Do符号？
如果是，为什么下面的
浏览 2提问于2019-07-24得票数 2
回答已采纳
1回答
下面是我在TypeScript中的State的实现，它基于一个规范的Haskell实现。我希望它能得到代码的审查。
class StateMonad<S, A> {
constructor(public runState: (s: S) => ({ s: S, a: A })) {
}
static return_<S, A>(a: A): StateMonad<S, A> {
return new StateMonad(s => ({ s, a }));
}
bind<B>(func: (a: A)
浏览 0提问于2018-04-05得票数 6
1回答
我正在做一个1-10k行的personal Haskell项目，我正在使用各种IO库，比如Pipes.Concurrent催生的Network.HTTP.Conduit inside workers。
我刚刚意识到其中一些IO库在边缘情况下会抛出异常。
GHC有没有办法在编译时警告我未捕获的异常？找出库可能抛出的异常的最佳方法是什么？
谢谢!
浏览 2提问于2018-03-18得票数 4
众所周知，IO Monad在Haskell中将纯代码与不纯代码分开，因此像f :: ... -> IO ?这样的签名代表了一个有副作用的操作，否则它是一个纯函数。
此外，monads在Haskell中被用作一种纯函数机制来对操作进行排序，否则可能会被设计为仅处理纯函数的编译器意外地重新排序。
围绕monads的设计的问题是，对于许多人来说，它们似乎很难理解，可能包括我自己，所以我想知道它们是否是在软件开发中区分纯代码和不纯代码的最佳方式。
我猜想，如果我们有一种语言，所有的原语都被标记为纯和不纯的，编译器可以很容易地直接或间接地使用这些原语来推断任何函数的纯度，这将是一个简单得多的设计。
浏览 5提问于2015-09-15得票数 1
在花了大量的时间阅读和思考之后，我想我终于明白了单子是什么，它们是如何工作的，以及它们对什么有用。我的主要目标是弄清楚单子是否可以应用到我在C#的日常工作中。
当我开始学习monads的时候，我的印象是它们是神奇的，它们以某种方式使IO和其他非纯函数变得纯粹。
我理解monads对于像.Net中的LINQ这样的东西的重要性，并且可能对于处理不返回有效值的函数非常有用。我还意识到需要限制代码中的状态性和隔离外部依赖关系，我希望monad也能对此有所帮助。
但我最终得出的结论是，对于Haskell来说，用于IO和处理状态的monads是必需的，因为Haskell没有其他方法可以做到这一点(否则，您
浏览 7提问于2014-01-26得票数 18
回答已采纳
从scala monads开始。一个人经常会遇到处理单音单音的情况，为了我们的方便，需要将其转换为单音单音。例如,
Set[IO[Either[A,B]] -> IO[Set[C]]
虽然这可以通过转换成序列然后映射来实现，
monadSet
.toList
.sequence[IO, Either[A,B]]
.map(...)
当存在不止一个时，情况就变得复杂了，
比如IO[IO[Set[Either[A,B]]]]或Future[Set[Either[A, Future[B]]。通常情况下，如何处理这些嵌套的monad还不是很清楚。这方面的任何资源都会很有帮助。
编辑:相同类型的嵌
浏览 4提问于2018-01-08得票数 0
我希望将None (或者Haskell的等效于None )返回到这个有效因素列表中，每当我遇到一个无效的数字(当我在模函数中运行它时不返回值0的数字)，我想返回None，这样列表就只包含这些因素。代码中可能有一些错误，我是Haskell的新手，所以您必须原谅草率的代码等等。
自从听说它会起作用以来，我已经尝试过使用return -也许是x，但是我对它没有运气(不过，我可能使用它不正确)。我还考虑过使用某种标准值，并使用seoarate函数过滤出值，但我认为肯定有更好的方法。
import Data.List
import System.IO
checkPerfect x
| x ==
浏览 0提问于2019-09-13得票数 2
回答已采纳
假设我想在Haskell中生成一个随机数。为了做到这一点，我将利用
randomRIO (0, 10)
这将为我生成一个介于0和10之间的数字。它的类型是
randomRIO (0,10) :: (Random a, Num a) => IO a
现在，假设我将其结果赋值为k。它的类型是IO Integer。
尝试执行诸如k + 2之类的常用算术运算将在Ghci中产生以下结果：
<interactive>:1:3:
No instance for (Num (IO Integer))
arising from the literal `2'
浏览 0提问于2011-08-13得票数 2
回答已采纳
我又一次被haskell困住了。这一次，我应该使用IO过滤CSV-数据集，这是我很难理解的。如有其他相关信息，敬请见谅。
它的结构是预先确定的，在我看来，它似乎很混乱。你真的应该这样做吗？(我还是要这样做，所以这是“在一边”-question)。
getRawData' :: String -> IO [[String]]
getRawData' fn = do
s <- readFile fn
return $ parseCSVsimple s
getRawData :: String -> IO [[String]]
getRaw
浏览 4提问于2016-04-16得票数 0
我知道像putStrLn :: String -> IO (和getLine :: IO String这样的IO运算符在Scalaz中有一些几乎相同的实现，但我的意思是关于Scala标准API，为什么没有类似的实现呢？我知道Scala并不像Haskell那样是一种纯语言，也有副作用，但我认为这种数据类型非常具有描述性和有用性。我不知道Try、Option或Either是否会做这件事。
浏览 3提问于2017-06-23得票数 6
回答已采纳
2回答
Haskell在字符串中加倍字符
、、、、
我基本上被要求把"HelloWorld!“转到“HheellllooWwoorrlldd！”使用仅使用此类型的Haskell函数
stringDub :: String -> String
我不是在寻找一个直截了当的答案，只是一些关于如何去做的建议，因为我对Haskell完全陌生。
提前谢谢。
浏览 1提问于2014-03-12得票数 2
回答已采纳
我才刚刚开始学习Haskell。我读到过它是一种纯函数式语言，其中的所有内容都是不可变的。因此，像输入、输出、写入和读取数据库这样的事情会导致状态的可变性。我知道在Haskell中有一种叫做monads的东西，它允许使用Haskell中的命令式功能，比如IO Monad。但我感兴趣的是，Haskell中的一切都是在monads的帮助下实现的吗？在HackageDB上有很多可以处理3D图形、数据库、解析超文本标记语言、编写web服务器等等的软件包。
这一切背后的一般想法是什么？是什么允许Haskell保持纯净，同时适用于编写所有这些内容？我希望有人能为我说清楚这一点。提前感谢！
浏览 5提问于2013-04-05得票数 6
回答已采纳
2回答
我刚接触过Arrow，并试图建立我的心理模型，了解它的效果系统是如何工作的，特别是它如何利用Kotlin的suspend系统。我非常模糊的理解如下:如果有人能确认、澄清或纠正它，那就太好了：
由于Kotlin不支持高级类型，所以将应用程序和单子实现为类型类是很麻烦的。相反，arrow从Kotlin的挂起机制提供的延续原语中派生出所有Arrow的一元类型的monad功能(绑定和返回)。这样对吗？特别是，短路行为(例如，对于nullable或either)是作为分隔的延续来实现的。我不太明白Kotlin的悬置机器的哪一个特点在这里发挥作用。
如果上面的内容大致正确，我有两个后续问题:我应该如何包含
浏览 7提问于2022-01-31得票数 4
回答已采纳
给定一个Haskell 值(编辑's ) f
f :: IO Int
f = ... -- ignoring its implementation
引用“Idris的类型驱动开发，”
纯函数的关键属性是相同的输入总是产生相同的结果。此属性称为引用透明性。
f，也就是Haskell中的所有IO ...函数都是纯的吗？在我看来，它们似乎没有，lookInDatabase :: IO DBThing，不会总是返回相同的值，因为：
在t=0，数据库可能会下降
在t=1，数据库可能已启动，return MyDbThing将产生
简而言之，f (和一般的IO ...函数)是
浏览 5提问于2015-12-15得票数 6
2回答
我正在使用简单的应用程序，它具有保存/加载其当前状态的功能。保存函数如下所示：
doSave :: BoardType -> Field -> [Char] -> Bool
doSave board player fileName = do
let x = encodeFile fileName (board :: BoardType, player :: Field)
True -- there will be exception handling
我的负荷功能：
doLoad :: [Char] -> IO (BoardType, Field)
浏览 4提问于2014-05-28得票数 3
回答已采纳
我正在学习如何在Haskell中使用输入和输出。我尝试生成一个随机数并将其输出到另一个文件。问题是随机数似乎返回了一个IO Int，这是我无法使用show转换为String的东西。
有人能在这里给我指点吗？
浏览 1提问于2012-10-15得票数 0
回答已采纳
我不明白Haskell单子背后的确切代数和理论。然而，当我一般地考虑函数式编程时，我得到的印象是，状态将通过获取初始状态并生成它的副本来表示下一个状态来建模。这就像将一个列表追加到另一个列表一样；两个列表都不会被修改，但会创建并返回第三个列表。
因此，将一元操作视为隐式地将初始状态对象作为参数并隐式地返回最终状态对象是否有效？这些状态对象将被隐藏，这样程序员就不必担心它们，并控制它们的访问方式。因此，程序员不会像十分钟前那样尝试复制表示IO流的对象。
换句话说，如果我们有这样的代码：
main = do
putStrLn "Enter your name:"
n
浏览 2提问于2010-05-12得票数 9
回答已采纳
2回答
语言纯洁性的替代
、、、、
纯度
Haskell中有趣的概念之一是纯度。然而，我想知道这背后的实际原因是什么--在你拒绝我的问题之前，让我再解释一下。
我的主要观点是，无论我们如何将它们封装在一种语言中，我们都会产生副作用。因此，即使像Haskell这样的编程语言是纯的，我们也只是在“推迟”副作用到稍后的时间。
我理解这样一种观点，即纯洁性使程序的推理变得更容易(引用、透明等等)。在Haskell中，我们将所有副作用封装在类型系统( IO monad)中。因此，如果不通过调用我们的不纯函数的所有函数的类型向下传播IO monad，我们就不会有副作用。
因此，我非常热衷于在类型系统中将纯函数和不纯函数分离的想法。这似乎是迫
浏览 0提问于2014-10-03得票数 8
回答已采纳
1回答
这是一个Haskell的新问题，可能与IO()单曲有关。
我在一个Happstack.Server程序中有一个函数，它为文件上传生成响应。
postFile = do methodM POST
decodeBody filePolicy
(tmp, name, meta) <- lookFile "upload"
ok $ concat ["A file! ", tmp, " || ", name, " || ", show meta]
效果
浏览 5提问于2012-11-02得票数 5
回答已采纳
我正在尝试用Haskell编写一个简单的程序，它监听Zero MQ套接字并将其发布到websocket连接，下面是我的代码
{-# LANGUAGE OverloadedStrings #-}
import Data.Char (isPunctuation, isSpace)
import Data.Monoid (mappend)
import Data.Text (Text)
import Control.Exception (fromException)
import Control.Monad (forM_, forever)
import Control.Concurrent (MV
浏览 1提问于2013-11-27得票数 2
我需要一些Int来作为随机数生成的种子，所以我想使用使用系统时间作为种子的老把戏。
因此，我尝试使用Data.Time包，并设法做到了以下几点：
import Data.Time.Clock
time = getCurrentTime >>= return . utctDayTime
当我运行时，我得到的东西如下：
Prelude Data.Time.Clock> time
55712.00536s
time的类型为IO DiffTime。我希望看到的是IO Something类型，因为这取决于程序外部的东西。所以我有两个问题：
a)是否有可能以某种方式解开IO并获得底层的
浏览 1提问于2010-01-21得票数 12
回答已采纳
2回答
我对Haskell比较陌生，我所做的一切都是通过GHCi完成的，然而，现在我正在尝试使用GHC编译，然而，我不断地得到错误消息The IO action ‘main’ is not defined in module ‘Main’，我尝试声明main = do，然而，我收到了更多的错误，也就是来自行fib 0 = 1的parse error on input ‘=’。
下面是我正在使用的代码：
module Main where
fib :: Integer -> Integer
fib 0 = 1
fib 1 = 1
fib x = fib (x - 1
浏览 3提问于2015-10-01得票数 1
回答已采纳
1回答
我最近学到了Haskell，语法让我很困惑。我试图用以下方法得到0到51之间的随机数：
randomRIO (0, 51)
但我不知道如何使这成为一个实际的Int (而不是IO Int)。
我相信你应该能够：
gen <- randomRIO (0, 51)
然后gen应该是一个Int，但是我必须在一个do-block中这样做--如何创建这个函数并返回一个Int
通过谷歌，我恐怕有一些基本的东西，我不明白。我完全迷路了。
浏览 0提问于2018-02-22得票数 4
回答已采纳
在设计大型应用程序时，一个主要的架构目标是减少耦合和依赖。对于依赖项，我指的是源代码依赖关系，当一个函数或数据类型使用另一个函数或另一个类型时。高级体系结构指南似乎是体系结构，略有变化也称为、或：对应用程序领域建模的类型和功能处于中心位置，然后是基于域提供有用服务的用例，而最外层的是技术方面，如持久性、网络和用户界面。
依赖关系规则规定，依赖只能指向内部。例如，持久性可能取决于来自用例的函数和类型，用例可能取决于来自域的函数和类型。但是区域不允许依赖于外圈。我应该如何在Haskell中实现这种架构？具体而言:我如何实现不依赖于持久性模块的(=导入)函数和类型的用例模块，即使它需要检索和存储数据
浏览 0提问于2020-05-14得票数 3
在学习Haskell时，我感觉作者并不总是告诉我所有的事情，所以为了真正理解它，我想知道类型系统背后的理论，monads和类似的概念。
这些概念大多来自我听说的分类理论，那么有哪些关于这个主题和相关主题的好书/网站呢？
浏览 10提问于2009-03-22得票数 13
回答已采纳
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
回答已采纳
我在学习的haskell。
这是签名。解决这个问题的办法是：
sequenceIO :: [IO a] -> IO [a]
sequenceIO [] = return []
sequenceIO (a:as) = do {v <-a ; vs <- (sequenceIO as) ; return (v : vs)}
我的解决方案是(不起作用)：
sequenceIO xs = return (foldl get [] xs)
where get ys act = do y <- act
ys ++ [y]
将
浏览 0提问于2013-11-28得票数 1
回答已采纳
我目前正在努力学习Haskell。职能如下：
findPivot :: [[Double]] -> Int
findPivot matrixA =
do
let firstCol = (transpose(matrixA)!!0)
let maxColValue = maximum firstCol
let pivotIndex = elemIndex maxColValue firstCol
return (fromJust(pivotIndex))
应该采用一个表示矩阵的2D双数列表，并确定哪一行在第一列中具有最
浏览 4提问于2014-11-15得票数 5
回答已采纳
monads被描述为处理IO的haskell解决方案。我想知道是否有其他方法来处理纯函数式语言中的IO。
浏览 0提问于2010-01-29得票数 35
回答已采纳
这是为了我的大学项目。在我的文章中，我需要包含创建Haskell线程比普通内核线程更快的证据。我知道参考一些研究论文会更好，但重点是我必须自己做基准测试。
这是我想出来的。我用C(使用pthread)和Haskell编写了两个程序，它们创建了许多线程，但这些线程什么也不做。我只需要测量创建线程的速度。
下面是C程序的源代码：
#include <stdio.h>
#include <pthread.h>
#include <stdlib.h>
void* thread_main(void*);
int main(int argc, char* argv[
浏览 3提问于2011-05-08得票数 3
回答已采纳
我读过Haskell的“学你”一书，到现在为止，他们介绍了一些单簧管之类的东西，这些对我来说都是违反直觉的，我只是想放弃尝试去学习它。
但我真的很想试试。
我想知道我是否至少可以暂时避免使用高级概念，并且刚刚开始使用语言的其他部分来使用Haskell更基本的部分来完成许多实际任务，例如函数、标准IO、文件处理、数据库接口等等。
这是学习如何使用Haskell的合理方法吗？
浏览 0提问于2011-07-26得票数 16
回答已采纳
1回答
我有用于操作机器人的API的以下代码：
data Direction = Left | Right
forward :: IO ()
blocked :: IO Bool
turn :: Direction -> IO ()
我试图理解两个程序，将机器人向前移动，除非它被障碍物阻挡，在这种情况下，机器人应该转向正确的方向。
然而，我不知道以下两个程序之间有什么区别：
-- program 1
robot = do
detected <- blocked
if detected
then turn Right
else forward
浏览 3提问于2019-07-26得票数 2
回答已采纳
什么是程序设计中的单元化，可以这样解释：
你不需要事先了解Haskell就能理解。
您可以继续在更主流的编程语言(如C++/Java/Scala )中使用或构建这个概念。
基本上，我在网上学习的时候遇到了这个学期。例如，这个Java8Stream教程提到了monads ()。因此，我想以一种有用的方式理解这一基本概念。(与一种愚蠢的方式相反，“把编程想象成橘子，那么单子就是葡萄柚.”)类似的事情)
然而，每一个单一教程似乎需要事先的知识(或试图教你在飞行中)哈斯克尔或哈斯克尔语法。
浏览 0提问于2018-04-16得票数 1
1回答
我对Haskell非常陌生，尽管我在许多月前做过一些ML。
我正试着设置一副扑克牌，洗牌，然后再打。我已经整理好了甲板和洗牌(某种程度上)，但我不知道以后我在做什么。
到目前为止，这就是我所拥有的：
import System.Random
import Data.Array.IO
import Control.Monad
-- | Randomly shuffle a list
-- /O(N)/
shuffle :: [a] -> IO [a]
shuffle xs = do
ar <- newArray n xs
forM [1..n]
浏览 0提问于2014-04-09得票数 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
回答已采纳
4回答
如果我理解正确的话，Haskell中的异常基本上是打算在IO monad中处理的。至少可以在IO monad内部捕获异常。
但有时，即使是纯函数也可能会抛出异常，例如read "..." :: Int (当读取字符串不代表整数时)、运算符(!!) (当我们试图使项目超出列表范围时)，等等。这是真实的行为，我不否认。然而，我不希望仅仅为了抓住可能的异常而更改函数的签名，因为在这种情况下，我必须通过调用堆栈更改所有函数的签名。
在Haskell中，是否有一些模式可以更轻松地处理异常，而不是IO monad？在这种情况下，我是否应该使用unsafePerformIO？如何“安全”地使
浏览 2提问于2012-01-06得票数 6
回答已采纳
考虑一下这个Haskell脚本，它在目录中的每个路径上都附加了一个感叹号：
import System.Directory
mapPaths paths = map (++ "!") paths
transformAll = do
paths <- listDirectory "/"
print $ mapPaths paths
main = transformAll
如何将其转换为从左到右的绑定操作链，同时仍然使用现有的函数mapPaths？
我想了解如何组成一个看起来有点像：
doSomething :: [String] =&g
浏览 1提问于2020-01-22得票数 1
回答已采纳
2回答
我试图使用Haskell的交互模式通过串口向Lego NXT发送消息，但我不知道如何正确使用函数。
我有一条消息，应该会在ByteString类型的NXT上播放音调
> let message = pack ([6, 0 ,0, 3, 224, 1, 208, 7]::[Word8])
我可以用openSerial打开串口。
openSerial :: FilePath -> SerialPortSettings -> IO SerialPort
> let mybrick = openSerial "/dev/tty.NXT-DevB" default
浏览 1提问于2013-04-27得票数 2
回答已采纳
好了，我是Haskell IO的新手。我读了很多关于Haskell函数中的IO和副作用的文章，现在我开始在Haskell中做一些自己的副作用，我想知道-我如何真正地编写这些东西？
我有以下函数，在运行其中一行代码后，我想执行一些打印操作，前面几行中的注释解释了这一点。
我非常确定我需要更改函数的类型签名，也许我需要使用“可能”。也许它甚至不可能这样做，我必须完全重写它？我真的不知道--但我在寻找指导。我该如何包含这个功能呢？
interpret_statement :: Prog -> Vars -> Stmt -> Vars -- one third of the debu
浏览 0提问于2013-04-14得票数 1
回答已采纳
我试图找出IO monad和<-语法，这是我经常在Haskell代码中看到的。我看到它与多种数据类型一起使用，包括数组和IO。
如果我自己指定一个，那么clojure中的等效操作是什么？
浏览 2提问于2013-12-06得票数 3
回答已采纳
我正在尝试开发一个使用Haskell的聊天服务器。
有很多有用的工具，如TChan，TSkiplist，forkIO ...etc，但我的大部分代码都是在IO monads和unsafePerformIO中编写的，这听起来效率很低。
是否可以这样做，或者haskell不是用于此目的的正确工具？
浏览 0提问于2012-10-16得票数 8
回答已采纳
我正在学习Haskell，并尝试使用可变数组(特别是IOArray)。我写了一台漂亮的打印机，它的类型如下：
disp :: Show a => IOArray Int a -> IO String
我没有设法摆脱IO部件，因为有一个子调用
getBounds :: Ix i => a i e -> m (i, i)
现在，我试图使用disp为我的IOArray类型定义一个Show实例，但是IO妨碍了它。
是否可以为Show创建一个IOArray实例？
浏览 4提问于2017-08-06得票数 1
回答已采纳
我正在阅读Happstack的，并注意到>>符号，我以前在学习Haskell的教科书中没有看到这个符号(例如，请参见第23行)。那是什么？
我在谷歌上找不到它，因为它完全忽略了>> (必应没有，但出现了大量无关的结果)。
浏览 0提问于2010-02-27得票数 28
回答已采纳
我有一个Haskell程序，它接受一个文件作为输入，并将其转换为二进制搜索树。
import System.IO
data Tree a = EmptyBST | Node a (Tree a) (Tree a) deriving (Show, Read, Eq)
ins :: Ord a => a -> (Tree a) -> (Tree a)
ins a EmptyBST = Node a EmptyBST EmptyBST
ins a (Node p left right)
| a < p
浏览 2提问于2013-03-26得票数 3
有人能帮我把下面的代码从happs“翻译”成happstack吗？
module Main where
import HAppS.Server.AlternativeHTTP
import HAppS.Server.HTTP.AltFileServe
import Control.Monad.State
import Numeric
import Contracts
instance FromData ExContr where
fromData = do c <- look "contract"
arg1 <- lo
浏览 11提问于2016-03-05得票数 4
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
实时音视频
即时通信 IM活动推荐
腾讯云开发者
