如何在Haskell中专门化IO的mapM
在Haskell中，我们可以使用mapM函数来专门化IO操作。mapM函数是一个高阶函数，它接受一个函数和一个列表作为参数，并将该函数应用于列表中的每个元素，然后将结果封装在一个IO操作中返回。
具体来说，mapM函数的类型签名如下：
mapM :: (Monad m) => (a -> m b) -> [a] -> m [b]其中，(Monad m) =>表示m是一个Monad类型类的实例，(a -> m b)表示接受一个类型为a的参数并返回一个类型为m b的结果的函数，[a]表示一个类型为a的列表，m [b]表示一个类型为m [b]的Monad操作。
使用mapM函数可以将一个普通的函数转换为一个专门化的IO操作。例如，假设我们有一个函数printHello，它接受一个字符串作为参数并打印出"Hello, "加上该字符串：
printHello :: String -> IO ()
printHello s = putStrLn ("Hello, " ++ s)现在，我们可以使用mapM函数将printHello函数应用于一个字符串列表，并将结果封装在一个IO操作中：
main :: IO ()
main = do
let names = ["Alice", "Bob", "Charlie"]
mapM printHello names上述代码中，mapM printHello names将会依次调用printHello函数，并将每个字符串打印出来。注意，mapM函数返回的是一个类型为IO [()]的Monad操作，其中[()]表示一个由()组成的列表，而()表示一个不包含任何信息的值。
在腾讯云的生态系统中，可以使用腾讯云函数（Tencent Cloud Function）来实现类似的功能。腾讯云函数是一种无服务器计算服务，可以让您在云端运行代码而无需管理服务器。您可以使用腾讯云函数来专门化IO操作，例如处理请求、调用其他云服务等。您可以通过以下链接了解更多关于腾讯云函数的信息：
相关·内容
我需要一些关于Haskell类型的帮助...
下面是我正在编写的代码：
loadManyPeople :: [FilePath] → IO [Person]
loadManyPeople fs = do
return $ concat $ map loadPeople fs
loadPeople :: FilePath → IO [Person]
loadPeople file = do
lines ← getLines file
return $ map parsePerson lines
loadPeople很好。我希望loadManyPeople加载每个文件中的
浏览 1提问于2010-11-15得票数 4
回答已采纳
2回答
Haskell从IO域获取值
、、、、
在阅读了Haskell的书籍之后，我有点困惑(或者干脆忘了)如何从IO域获取一个值，然后进入“Haskell world”来解析它，如下所示：
fGetSeq = do
input <- sequence [getLine, getLine, getLine]
fTest input
mapM_ print input
fTest = map (read :: String -> Int)
显然编译器会抱怨。Couldn't match [] with IO。在“世界”之间传递值有一个简单的经验法则吗?还是省略类型是我的错？
浏览 0提问于2018-09-01得票数 2
回答已采纳
我最近开始学习Haskell，我试图做下面的函数组合(join . mapM)，但从这个函数中得到了一些我不理解的奇怪类型。我想要么GHC会假设mapM类型中的t == m和mapM的输出将变成m (m b)，这将是可联接的，要么它不能，这将会因为类型不匹配而出错。相反，发生了以下情况： mapM :: (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b)
join :: Monad m => m (m a) -> m a
join . mapM :: Traversable t => (a
浏览 14提问于2019-10-05得票数 2
回答已采纳
我是Haskell的新手，我一直在使用system为我执行外壳命令，因为我只对退出状态感兴趣。我注意到，因为我可以这样做： ls <- system "ls"
pwd <- system "pwd" 这将正确地执行这两个命令。我正在考虑执行这些命令的数组，例如 lsAndPwd <- return $ system <$> ["ls", "pwd"] 令我惊讶的是，它实际上并没有执行任何操作。这段代码进行了编译，我检查了lsAndPwd的[IO GHC.IO.Exception.ExitCode]类
浏览 17提问于2020-11-08得票数 2
回答已采纳
我看到我可以用mapArray在可变数组上映射一个函数，但似乎没有像mapM (和mapM_)这样的东西。mapArray不允许我打印它的元素，例如：
import Data.Array.Storable
arr <- newArray (1,10) 42 :: IO -- answer to Life, Universe and Everything
x <- readLn :: IO Int
mapArray (putStrLn.show) arr -- <== this doesn't work!
结果将是：
No instances for (MArray
浏览 0提问于2009-09-29得票数 1
回答已采纳
嗨，我需要haskell中的地图功能和IO操作的帮助。
我有一个像[(x,(y,z))]这样的列表，我想为列表中的每一项都赋予一个函数，所以我想使用map，问题是，这个函数看起来像：
test :: (String, (String, String)) -> IO (String, String, (String, String))
test (a,(b,c)) = do
-- some IO stuff
return (a,b, (c,c))
但是当我尝试使用map (map test myList)时，因为它是IO，我得到了一个错误，如何解决这个问题？
浏览 2提问于2011-05-26得票数 1
回答已采纳
1回答
我很难准确理解haskell是如何处理输入和输出的。作为示例，我在这里尝试获取数据文件列表的命令行参数，并将这些文件的内容放入双精度列表中。经过一些研究，我最好的实现是：
{- Read Doubles from input, sent them to a list -}
getDoubles :: Handle -> IO [Double]
getDoubles handle = do
done <- hIsEOF handle
if done then return []
else do
first
浏览 6提问于2017-07-15得票数 0
虽然我觉得我在Haskell取得了进步，但我仍然不能百分之百地适应环境。在这里取代码：
extractData :: IO ()
extractData = do
id <- getLine
let userToolIDSelect = (read id) :: Int
connection <- open "tools.db"
resp <- query connection "SELECT * FROM tools WHERE toolID = (?);"
(Only userToolIDSelect) :: IO
浏览 0提问于2018-11-15得票数 0
回答已采纳
2回答
有没有一种传统的方法来映射一个使用IO的函数？具体地说，我希望映射到一个返回某种随机值的函数上。使用法线映射将产生类型(IO b)的输出，但是为了从IO解压列表中的值，我需要一个类型(IO b)的东西。所以我写了。
mapIO :: (a -> IO b) -> [a] -> [b] -> IO [b]
mapIO f [] acc = do return acc
mapIO f (x:xs) acc = do
new <- f x
mapIO f xs (new:acc)
..。它工作得很好。但是看起来Haskell应该有一个内置的解决方案。例如，一个示
浏览 0提问于2010-07-01得票数 9
我有一个传感器，将值放入postgres表中，并使用postgresql进行im --简单地在main :: IO ()函数中读取这些值，并在queryResult <- mapM_ print =<< (query_ conn "select sensor1 from lightbool" :: IO [Only String])之后使用return queryResult。
我需要用另一个函数(lightBoolHandler)来转换这些值。它需要接受查询的内容--实际上是字符串的假"bools“--并生成安全类型的Haskell [Bool]。
浏览 1提问于2020-02-17得票数 0
我尝试在Haskell中重命名一个文件列表，并使用以下代码。
let listOfFullPath = ["/home/name/oldFile.txt"]
let outputList = map(\x -> renameFile x "/home/name/newfile.txt") listOfFullPath
当我运行代码时，我没有看到文件被重命名。
有人知道为什么renameFile不能在map()中工作吗？
我知道renameFile :: FilePath -> FilePath -> IO ()，我也尝试着这样做：
let o
浏览 7提问于2017-08-31得票数 1
回答已采纳
刚开始学习haskell -一周后就爱上它了。目前正在经历monads的痛苦，还没有到那里，但希望它会点击。
我正在尝试组合一个类似于pythons walk()的函数，但更简单。给定我想要生成的元组列表的路径。每个子目录都有一个元组(假设只有目录)。元组将包含目录的路径作为其第一个元素，并将目录包含的文件列表作为第二个元素。
我不知道我的解释是否正确，但下面是代码：
walkDir :: String -> IO [IO (FilePath, [FilePath])]
walkDir path = do
dir <- getDirectoryContents path
浏览 0提问于2011-10-20得票数 4
回答已采纳
我用Haskell代码打印了目录列表：
import Control.Monad
import Control.Applicative
import System.Directory
main :: IO()
main = do
all <- listDirectory "x:/n"
mapM_ print all
但是现在我想用doesFileExist函数从System.Direcorty模块中过滤所有内容，并且无法理解如何正确地使用它：
import Control.Monad
import Control.Applicative
import Syste
浏览 1提问于2019-02-10得票数 0
回答已采纳
1回答
我在Haskell有一个项目：
processDate :: String -> IO ()
processDate date = do
...
let newFlattenedPropertiesWithPrice = filter (notYetInserted date existingProperties) flattenedPropertiesWithPrice
geocodedProperties <- propertiesWithGeocoding newFlattenedPropertiesWithPrice
propertiesWithG
浏览 1提问于2017-01-28得票数 4
回答已采纳
我正在寻找与Haskell中的相当的功能。我需要实施它吗？来自文件：
执行给定的任务，返回持有其状态和结果的期货列表。
在我的用例中，任务大部分时间都在等待IO，所以我只需要避免经常阻塞主线程，这就会生成一组Either结果或错误。
浏览 2提问于2014-04-10得票数 5
回答已采纳
1回答
我有一个Haskell函数，它给出一个目录，从这个目录递归地获取所有文件，并将文件名写到文件中。这是一个简单的示例。在下一步中，我必须用使用文件内容的操作替换从文件到文本的映射( transf操作)；这显然是IO monad中的一个操作。 我对Pipe的理解非常有限；我尝试了一个简单的操作opex，我试图将它lift到一个管道中。我想删除当前的传输 这看起来像是一个简单的问题，但尽管我在网上搜索，我还是找不到解决方案。感谢您的帮助！ pipedDoIO2 :: Path Abs File -> Path Abs Dir -> (Path Abs File -> IO Tex
浏览 19提问于2020-04-30得票数 0
回答已采纳
2回答
我还在探索Haskell。我知道这段代码在IO monad中“运行”。当它从l <- ...行转到下一行时，将调用IO - bind。
人们可能会认为，因为Haskell是惰性，所以l从未被评估过。但是"bind“总是计算前面的命令，对吗？因为程序会产生“未找到的文件”错误。
main = do
l <- mapM readFile [ "/tmp/notfound" ]
return ()
浏览 5提问于2012-12-01得票数 8
回答已采纳
我遇到了一个情况，我需要在不同的机器上编译一些Haskell代码。至少有一台这样的机器有一个相当旧的版本的，不知道modifyTVar。我目前的解决方法是从包的modifyTVar的复制代码。这让我想知道，是否可以使用模板Haskell来检查是否已经定义了一个函数，并且只定义了它，如果它丢失了。我知道，正确的解决方案可能是获得更多的最新包，但这种情况让我感到好奇。
浏览 0提问于2014-06-15得票数 11
回答已采纳
在接触了python函数式编程之后，我才刚刚开始学习Haskell。
首先，我知道我会问的是糟糕的实践几乎是人类所知的每一种编程语言，我承诺不会将其用于任何严肃的目的，而不是纯粹的教育。也就是说..。
我最喜欢的一件事是只用一行代码编写函数的优雅，同时保持代码的可读性(像C/C++风格，你只把所有的语句放在一行上，用分号分隔，显然不算数)
我看了很多问题，尝试了至少几个不同的haskell教程和文档，有些东西已经很接近了，但我找不到能让我在一行代码中读懂可用的Int的东西。
为了回答这个问题，假设我想要一些东西，比如读取键盘上的Int并打印"Hello World!“很多次(厚颜无耻地
浏览 0提问于2017-10-27得票数 3
我开始学习Haskell，并且想知道，如何将列表中的一个打印元素转换成一个带有定义空格字符的串联字符串。我已经在下面的脚本中实现了这一点。
但是，我希望编写putStrSep函数，以便将分隔符指定为参数。而不是在下面的示例中硬编码它。
#/usr/bin/env runghc
import System.Environment --for the getArgs function
-- Concatenate my own string
putStrSep :: String -> IO()
putStrSep x = putStr (x ++ " ")
--
浏览 2提问于2014-04-29得票数 1
回答已采纳
1回答
无限的有效行动流
、、、
我希望将无限字节流解析为无限的Haskell数据流。每个字节都是从网络中读取的，因此它们被包装成IO。
更具体地说，我有一个类型为[IO(ByteString)]的无限流。另一方面，我有一个纯解析函数parse :: [ByteString] -> [Object] (其中Object是Haskell数据类型)。
有没有一种方法可以将无限的monad流插入我的解析函数中？
例如，是否可以编写一个类型为[IO(ByteString)] -> IO [ByteString]的函数，以便我在单机中使用函数parse？
浏览 2提问于2019-04-05得票数 4
回答已采纳
我正在学习Haskell，我今天的目标是用逻辑编写一个函数sizeOf :: FilePath -> IO Integer (计算文件或文件夹的大小)
如果path是一个文件，则System.Directory.getFileSize path
如果path是一个目录，那么获取它的内容列表，递归地在它们上运行这个函数，并对结果进行sum
如果它不是文件或目录，那么return 0
下面是我如何在Ruby中实现它的方法(Ruby：map的参数相当于\d -> size_of d，reduce :+是foldl (+) 0，任何结束?的函数都返回bool，返回是隐式
浏览 2提问于2016-12-24得票数 5
回答已采纳
1回答
我正在尝试重写一个小程序，它可以从一个或多个网页中抓取信息，然后将其转换为闪存卡。这里有一小段代码：
-- | this takes a string and produces IO [Tag String]
getVerbePage x = fmap parseTags $ openURL $ "http://leconjugueur.lefigaro.fr/conjugaison/verbe/" ++ x ++ ".html"
main = do
tags <- getVerbePage "aller"
-- | fr
浏览 5提问于2012-05-19得票数 0
回答已采纳
我有一个来自openbrowser库示例的工作代码。
import Web.Browser (openBrowser)
main :: IO ()
main = openBrowser "http://haskell.org/" >>= print
我想做的是打开两个网站。
所以我想做这样的事：
main = map openBrowser ["http://haskell.org/","http://google.com/"] >>= print
我会得到
Couldn't match type ‘[]’ wit
浏览 3提问于2016-02-22得票数 1
我可以从多个并行线程安全地分配一个IOVector的不重叠索引(来自Haskell向量包)，还是需要一个额外的互斥体？
背景:我想并行运行IO计算的集合，然后记录所有结果。我首先在列表中返回结果，但这似乎是错误的数据结构。因此，我希望使用向量包中的IOVector来存储结果。
我的问题是，我能写这样的东西吗：
runPar :: [IO a] -> IO (IOVector a)
runPar tasks = do
v <- new (length tasks)
mapM forkIO [task >>= write v i | (i, task) <-
浏览 4提问于2013-11-14得票数 8
回答已采纳
在Haskell中，当有一个值被丢弃时，将使用()而不是⊥
示例(目前除了IO操作之外，我实在想不到任何其他东西)：
mapM_ :: (Monad m) => (a -> m b) -> [a] -> m ()
foldM_ :: (Monad m) => (a -> b -> m a) -> a -> [b] -> m ()
writeFile :: FilePath -> String -> IO ()
在严格的评估下，这是完全有意义的，但在Haskell中，它只会使领域更大。
也许有一些“未使用的参数”函数d -&
浏览 0提问于2012-06-18得票数 12
1回答
我是Haskell的新手，想为用户解析JSON。
有这样的с颂歌：
import Data.Aeson as Q
import Data.Text
import Control.Applicative
import Control.Monad
import qualified Data.ByteString.Lazy as B
import Network.HTTP.Conduit (simpleHttp)
import GHC.Generics
data DataPoint = DataPoint { id :: Int
, descr
浏览 0提问于2018-12-24得票数 0
1回答
我正在编写一个程序，它创建一个shell脚本，其中包含一个目录中的每个图像文件的一个命令。目录中有667,944个图像，所以我需要正确地处理严格/懒惰问题。
下面是一个简单的例子，它给了我Stack space overflow。如果我使用+RTS -Ksize -RTS给它更多的空间，它确实可以工作，但是它应该能够在内存很少的情况下运行，立即产生输出。所以我一直在读Haskell wiki和Haskell上的wikibook中关于严格性的内容，试图找出如何解决这个问题，我认为是mapM命令之一让我感到悲伤，但我仍然不太了解严格性来解决这个问题。
我已经找到了一些其他的问题，所以似乎是相关的(
浏览 1提问于2013-04-18得票数 3
回答已采纳
例如，当我有一个Maybe值，当它是一个Just时，我想在它上应用一些东西，或者如果它是一个Nothing，只保留一个Nothing，我有很多方法可以在haskell中实现这一点。然而，我没有找到一个简洁的方式，当我想在它上应用一元行动。
在这段代码中，要获得d，我只需使用fmap。但是我不能使用它来获得c，因为这个操作需要一个一元(在本例中是IO)操作来应用于Maybe中的值。
import Control.Applicative
main = do
let x = Just "test.txt"
let d = reverse <$> x --
浏览 3提问于2015-05-08得票数 2
回答已采纳
我对Haskell非常陌生，我想在do块中执行递归。
countLines :: String -> IO Int
countLines filePath = do
isFile <- doesFileExist filePath
if isFile
then do contents <- readFile filePath
print contents
pure 0
else do files <- getDirectoryContents filePath
浏览 2提问于2020-05-01得票数 2
回答已采纳
1回答
我对Haskell和FP还不熟悉，所以这个问题可能看起来很傻。
我的主要功能中有一行代码
let y = map readFile directoryContents
其中directoryContents的类型为[FilePath]。这反过来(我认为)使y类型为[IO String]，因此是一个字符串列表--每个字符串都包含directoryContents中每个文件的内容。
我在另一个模块中编写了一个在[String]和String上工作的函数，但是现在不清楚如何调用/使用它们，因为y是[IO String]类型的。有什么指示吗？
编辑：
有人建议我使用mapM而不是map，所以：
le
浏览 2提问于2014-03-06得票数 14
我正在尝试使用Database.HDBC和Database.HDBC.Sqlite3。
要将表添加到SQLite3数据库，我需要在GHCI中输入以下命令：
run conn "CREATE TABLE table1 (a INTEGER)" []
现在，我想从我的程序中使用字符串列表将表名添加到数据库中。
这是我正在使用的变量：
tables = ["CREATE TABLE t1 (a INTEGER)","CREATE TABLE t2 (a INTEGER)",..]
表被传递给我创建的一个名为addTables的函数：
addTables
浏览 2提问于2012-11-21得票数 0
回答已采纳
1回答
我是haskell的新手，我通读并消化了，并在此过程中尝试了一些东西。对于我的第一个项目，我想尝试一下经典的: FizzBuzz。所以我想出了下面的代码：
import System.IO
fizzBuzz :: (Integral a) => a -> String
fizzBuzz num
| fizz && buzz = "FizzBuzz"
| fizz = "Fizz"
| buzz = "Buzz"
| otherwise = show num
where fizz
浏览 1提问于2010-01-07得票数 11
回答已采纳
我是Haskell的新手，所以这可能是一个愚蠢的问题。我有一个函数
foo :: Int -> IO ()
其结果将打印一些有用的信息。现在我想这样做：
do
foo 0
foo 1
foo 0
foo 2
foo 3
我怎么才能把它写成一个循环呢？我的问题是‘连接’Monad，这是由do语句自动完成的……
谢谢你的帮助!
浏览 0提问于2013-02-10得票数 8
回答已采纳
2回答
我有一个Haskell函数，它对单个文件进行操作以生成映射。我希望迭代一个目录中的所有文件，并应用此函数来生成单个映射。
我试着这样做：
perFileFunc :: Int -> FilePath -> IO (Map.Map [Char] Double)
allFilesIn dir = filter (/= "..")<$>(filter(/= ".")<$>(getDirectoryContents dir)
这给了我一个目录中所有文件名的列表。然后..。
现在当我试着去做
myFunc dir n = map (
浏览 6提问于2011-12-20得票数 2
回答已采纳
我试图比较Haskell和Go的一些并发示例，下面的代码是一个简单的映射--通过使用Goroutines和通道在Go中减少示例。下面的Go代码计算平方和：
1^2+2^2+3^2....1024^2
为了测试Go和Haskell的性能，我重复计算R倍(10)的平方和。
package main
import "fmt"
func mapper(in chan int, out chan int) {
for v := range in {out <- v*v}
}
func reducer(in1, in2 chan int, out chan in
浏览 0提问于2018-04-07得票数 4
回答已采纳
我想知道用函数式编程语言(在本例中是Haskell)实现以下问题的最佳方法：
您有一个函数(或'way')，它以相同类型的2次输出(例如:半加法器)将2个输入(类型为a和b )转换为2。让我们在Haskell中称它为f，它将具有这种类型的签名a -> b -> (a, b)
并且您有一个包含a类型元素的列表。(或其他类型的数据结构)。
现在，如果提供了一个初始的b，我希望发生以下事情(递归实现解释的概念)：
使用初始的f和第一个元素执行b，用函数的输出修改b和元素，并对下一个元素重复。
在Haskell：
exec _ [] _ = []
exec f (x
浏览 6提问于2017-01-23得票数 0
回答已采纳
1回答
我正在尝试创建一个列表列表，或者从一个Ptr创建一个[ b ]列表，它是通过FFI从C代码传入的。因此，本质上是从二维C数组创建一个列表列表。
我的逻辑是将peekArray应用于Ptr，首先获得Ptr，然后将peekArray应用于Ptr中的每个元素，以获得[ b ]。
我第一次调用peekArray似乎没有问题，但是当我试图处理列表中的每个Ptr时，Haskell给出了一个错误：
在调用't0‘的返回类型中，无法将预期类型’a0‘与实际类型'IO a0’相匹配
对于这两个调用，我都以相同的方式使用peekArray，只是第二次在list元素上执行它：
c <- pee
浏览 1提问于2014-03-04得票数 1
回答已采纳
我有两个函数：
emptyDirectory, copyStubFileTo :: FilePath -> IO ()
我想把它们结合起来，如下所示：
forM_ ["1", "2"] $\n -> do
emptyDirectory n
copyStubFileTo n
Haskell中有没有其他标准的方法来简化这种组合？我的意思是加入两个IO操作，并为它们提供相同的输入。
浏览 6提问于2010-12-29得票数 5
回答已采纳
我正试图用Haskell编写一个简单的cat程序。我希望将多个文件名作为参数，并将每个文件顺序写入STDOUT，但我的程序只打印一个文件并退出。
要让我的代码打印每个文件，而不仅仅是第一个传入的文件，我需要做什么？
import Control.Monad as Monad
import System.Exit
import System.IO as IO
import System.Environment as Env
main :: IO ()
main = do
-- Get the command line arguments
args <- Env.getAr
浏览 6提问于2012-07-13得票数 12
回答已采纳
我学习Haskell。它运作良好：
import System.IO
main = do
h <- openFile "text.txt" ReadMode
cnt <- hGetContents h
mapM_ putStrLn $ lines cnt
hClose h
但这不管用：
import System.IO
main = do
h <- openFile "text.txt" ReadMode
mapM_ putStrLn $ lines (cnt <- hGetContents h)
hC
浏览 0提问于2015-01-12得票数 3
回答已采纳
我对Haskell并不熟悉，我正试图映射一个检查函数，该函数检查文件是否存在，并如下所示：
check :: FilePath -> IO Bool
从Main到argv，如下所示：
main :: IO Bool
main = do {
args <- getArgs;
return $ foldM (&&) True $ mapM check args;
}
基本的逻辑是，将into数组折叠成一个into并返回它。我使用的是地图和折叠的Monadic版本，因为我随身携带IO monad，但是我从打字机那里得到了很多错误，因为占位符是我不知道的。
浏览 1提问于2018-02-18得票数 1
回答已采纳
1回答
我一直想在Haskell做一个游戏，但是在路上我遇到了一些问题。
首先，这里是所有这些应该是什么样子的输出：
Main> symbol 3
1: *
2: **
3: ***
First Player
Line: 3
Symbols: 2
1: *
2: **
3: *
Second Player
Line: 1
Symbols: 1
1:
2: **
3: *
First Player
Line: 3
Symbol: 1
1:
2: **
3:
Second Player
浏览 3提问于2013-11-25得票数 3
回答已采纳
我正在尝试读取并打印映射到文件名列表上的"readProcess“命令的输出：
files <- readProcess "ls" [] []
let mdList = map ( \file -> do
md <- readProcess "mdls" [file] []
return md ) $ splitOn "\n" files in
map (\md -> putStrLn md) mdList
putStrLn "Complete"
每次我尝试将putStrLn
浏览 0提问于2017-10-31得票数 1
我有一个函数f :: (a -> a) -> a -> ((a -> a), a)。(在特定情况下，a是Int，但这无关紧要。)
我有一个函数initial :: a -> a和一个输入列表(inputs :: [a])。
我需要将f应用于inputs的所有元素，但是对于每个元素，我都需要获取前一次迭代输出的fst部分，并将其作为下一次迭代输入的(a -> a)部分。作为输出，我需要有一个[a]类型的列表，它是每次迭代输出的snd部分。
如何递归地将f应用于输出的fst部分和inputs的元素，同时构建输出的中间snd部分的列表？
浏览 5提问于2016-05-13得票数 1
这是一种双重行为，甚至对Haskell来说也是如此。查看下面的代码段：
import System.Directory
import System.FilePath
-- This spins infinitely
loadCtx :: FilePath -> IO ()
loadCtx dir = do
lsfiles <- listDirectory dir
let files = mapM (dir </>) lsfiles
putStrLn $ "Files " ++ show files
-- This does w
浏览 0提问于2018-12-14得票数 3
回答已采纳
我是Haskell的新手。
我的目标是将文件从一个目录复制到另一个目录。
到目前为止，我所拥有的：
我有两个包含完整路径文件名的列表
list1 = ["file1", "file2" ...]
list2 = ["new name1", "new name2"...]
我想用
copyFile::FilePath->FilePath->IO()
将文件从list1复制到list2的步骤
注意: list2包含所有新的完整路径文件名
我知道呀
zipWith(a->b->c)->[a]->[b]
浏览 3提问于2015-12-21得票数 2
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
回答已采纳
大家好，我需要把我的F#代码改成Haskell代码，但是我在Haskell是个新手，我不能这么做，我的代码只是简单地从键盘上读取数据，如果数据不是整数返回错误信息，然后计算n斐波纳契数，然后写到列表中，然后将列表写入txt文件，这是我的代码
open System
let rec fib n =
match n with
|0->0
|1->1
|2->1
|n->fib(n-1)+fib(n-2);;
let printFibonacci list =
for i=0 to (List.length list)-1
浏览 0提问于2010-05-10得票数 3
我在Haskell中有一个函数blabla，它接受一个Int并返回一个字符串：
blabla :: Int -> [Char]
我想在for-循环中反复运行该方法，如下所示：
for i := 1 to 25 do begin
write(i);
write(": ");
writeln(blabla(i));
end;
haskell有for循环功能吗？
浏览 8提问于2015-04-07得票数 10
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
实时音视频
即时通信 IM活动推荐
腾讯云开发者
