haskell

4热度

1回答

我试图使用ghcjs将haskell库minisat移植到JavaScript，以便集成到更大的haskell-ghcjs项目中。 minisat包含从c库中导入的一对ffi。我已经使用emscripten将c库编译为JavaScript，并导出minisat需要的函数。到现在为止还挺好。然而，有一对夫妇的进口看起来像这样： foreign import ccall safe minisat_s

1热度

1回答

不能添加Database.HDBC.Sqlite3叠文件

我试图同时使用库和HDBC-sqlite3来实施数据库，而我添加HDBC-Sqlie3得到错误，我曾尝试以下： HDBC- SQLITE3 HDBC-SQLITE3 -any HDBC-SQLITE3> = 2.3.3.0 & & < 2.3.3.1 HDBC-SQLITE3> = 2.3.3.0 ，没有上述工程，并得到错误，当尝试- any我得到了以下错误： In the dependenc

1热度

1回答

[String]中的非穷举模式 - > String？

所以我创建一个功能是这样的： unlinhas::[String]->String uninhas [x] = "" unlinhas (x:xs) = x ++ "\n" ++(unlinhas(xs)) ，鉴于这样["arroz","atum"]字符串列表应该给"arroz\natum\n"的问题是，这个功能是我创建的说非详尽模式。

0热度

1回答

MonadResource用于读取具有错误处理的文件

我正在创建一个将读取二进制文件的Conduit。东西可能会出错，所以我需要一个monad来处理一些错误;现在Maybe已经足够了。我想使用sourceFile，它要求管道monad是MonadResource，这是问题的关键。我从the docs看到，例如， MaybeT m有一个实例，但它需要m已经是MonadResource;事实上，所有情况都是如此。由于我的理解有限，这听起来像鸡与鸡蛋，

1热度

1回答

Haskell语法：函数如何组合在一起？

从FileIO.hs在Functional Programming Course exercise getFile :: FilePath -> IO (FilePath, Chars) getFile = lift2 (<$>) (,) readFile 一行根据其类型签名，getFile返回IO (FilePath, Chars)，这意味着文件名和它的内容的元组。但我只是不明白为什么它

6热度

1回答

Haskell：f（x）最大的列表中的x x

我刚开始学习Haskell。我试图在列表中找到一个x，其中score x具有最大值。我尝试了snd (maximum [(score x, x) | x <- codes])这是可行的，但我想知道是否有更快的方法来做到这一点，而没有实际存储函数和值。感谢您的任何建议！

1热度

1回答

光泽功能`animate`似乎没有做任何事情

我正在用haskell光泽创建一个简单的动画。我希望在第一个4秒时，每个矩形都会将其颜色更改为较暗的颜色。问题是一个比较长的连接时间后，没有真的发生 - 所有矩形出现，他们不变色这是下面的代码，我用 - window :: Display window = InWindow "Simon" (width, height) (offset, offset) background :: Col

-2热度

1回答

哈斯克尔：可变

我创建给出Char列表的功能范围，给出了同样的名单，但只能用数字： algarismos :: [Char] -> [Char] algarismos [] = [] algarismos (x:xs) | (isDigit x) =x:(algarismos xs) | otherwise =(algarismos xs) 我得到错误信息 error: Variabl

2热度

1回答

转置空字符串返回列表

我是新来的哈斯克尔，我目前正在网格游戏中写字搜索，可以找到对角线，行和列中的单词。我使用Data.List.transpose来创建列，但输出始终会创建新的空字符串。我试过过滤器功能，但它不会改变输出：filter (not.null) (L.transpose y)。输出看起来像这样：["IYYPPOLFHTNMTDI"," ","UTVCGNVAEEZXEIR"," ","PDCPLTRUGS

1热度

2回答

如何通过'TypeRep'指定值的类型？

我的目标是编写采用一些多态值的函数，并使用typereps表示具体类型的列表。它返回具有相同值的新列表，但已经转换为通过typereps指定的具体类型。让我们有这样的值列表：["one", "two"]与-XOverloadedStrings启用。分别是，每个的类型是IsString a => a。 typereps的列表中，我们可以得到在这样的方式： import Data.Typeabl