Parsec - 错误"combinator'more'应用于接受空字符串的解析器"
首先，我们需要了解 Parsec 是什么。Parsec 是一个用于解析文本的库，它提供了一组强大的组合子，用于构建解析器。在这个问题中，我们需要解决的问题是 "combinator'more'应用于接受空字符串的解析器"。
现在，我们来解释一下这个问题。在 Parsec 中，组合子是一种将多个解析器组合在一起的方法。在这个问题中，我们需要使用 "combinator'more" 来构建一个解析器，该解析器接受空字符串。
要实现这个目标，我们可以使用 Parsec 中的 "many" 组合子。"many" 组合子可以将一个解析器应用于一个可能的空字符串，并返回一个解析器，该解析器接受零个或多个匹配项。
以下是一个使用 "many" 组合子的示例：
import Text.Parsec
import Text.Parsec.String
parser :: Parser [Char]
parser = many (char 'a')在这个示例中，我们定义了一个解析器 "parser"，它接受零个或多个字符 'a'。这个解析器可以匹配空字符串，因为它允许零个字符 'a'。
总之，要解决这个问题，我们需要使用 Parsec 中的 "many" 组合子来构建一个解析器，该解析器接受空字符串。这可以通过将 "many" 应用于一个可能的空字符串来实现。
相关·内容
我想用Parsec取代sed和awk。例如，从unknown structure but containing the number 42 and maybe some other stuff这样的字符串中提取数字。
我遇到了“意外的输入结束”。我在寻找相当于非贪婪的.*([0-9]+).*。
module Main where
import Text.Parsec
parser :: Parsec String () Int
parser = do
_ <- many anyToken
x <- read <$> many1 digit
_
浏览 0提问于2018-06-15得票数 3
回答已采纳
import Text.ParserCombinators.Parsec
delimiter :: Parser ()
delimiter = do char '|'
return ()
<?> "delimiter"
eol :: Parser ()
eol = do oneOf "\n\r"
return ()
<?> "end of line"
item :: Parser String
item = do entry
浏览 8提问于2013-11-11得票数 5
回答已采纳
我对Text.Parsec的使用有点生疏。如果我只想返回匹配的字符串，这是惯用的吗？
category :: Stream s m Char => ParsecT s u m [Char]
category = concat <$> (many1 $ (:) <$> char '/' <*> (many1 $ noneOf "/\n"))
我觉得可能有一个我忽略的liftM concat . many1或(:) <$> p1 <*> p2的现有运算符
浏览 0提问于2012-12-02得票数 4
回答已采纳
3回答
我正在使用解析库Parsec来解析一些文本。我只需要解析行，这些行是由任意字符组成的字符串，在字符串末尾时以'\n‘或eof结尾。当我打电话给parseHS'时，我收到了Exception: Text.ParserCombinators.Parsec.Prim.many: combinator 'many' is applied to a parser that accepts an empty string.的抱怨。
parseHS' :: String -> Either ParseError [String]
parseHS' inp
浏览 4提问于2013-09-18得票数 2
回答已采纳
1回答
匹配函数调用链(如x(y)(z)...) BNF：
expr = term T
T = (expr) T
| EMPTY
term = (expr)
| VAR
把它翻译成Parsec程序，看起来很棘手。
term :: Parser Term
term = parens expr <|> var
expr :: Parser Term
expr = do whiteSpace
e <- term
maybeAddSuffix e
where addSuffix e0 = do e1 <- p
浏览 4提问于2015-03-03得票数 3
我读到过Haskell解析器组合子( Parsec)可以解析上下文相关的语法。Scala解析器组合子也是这样吗？如果是这样，这就是"into“(又称">>")函数的作用吗？
与Haskell相比，Scala的解析器组合子的实现有哪些优点/缺点？它们是否接受相同类别的语法？是更容易生成错误消息，还是更容易用它们做其他有用的事情？
packrat解析(在Scala2.8中引入)如何适应这幅图景？
是否有网页或其他资源显示一种语言的不同运算符/函数/DSL糖如何映射到另一种语言的实现？
浏览 0提问于2010-03-13得票数 23
2回答
我正在寻找一个好的ocaml解析库，它不是flex/bison的派生库。理想情况下，我希望有一个类似于parsec的一元组合器库，但是我找不到任何东西。
我会使用haskell，但是为haskell做llvm绑定比我最初想象的要麻烦得多。
干杯,
杜安
浏览 1提问于2008-11-21得票数 13
回答已采纳
我需要以parsec为单位向给定位置发送失败消息。
我试着在给出一个意外的错误消息之前设置位置，但它不起作用：
runParser ( do pos0 <- getPosition
id <- many1 alphaNum
if (id == reverse id) then return id
else setPosition pos0 >> unexpected id
eof )
()
浏览 5提问于2014-02-24得票数 5
4回答
我在看这个库，它几乎没有文档：
我，但我想使用这个图书馆。
我想解析以下字符串：
mystr = """
<kv>
key1: "string"
key2: 1.00005
key3: [1,2,3]
</kv>
<csv>
date,windspeed,direction
20190805,22,NNW
20190805,23,NW
20190805,20,NE
</csv>"""
虽然我想解析整个事情，但我满足于抓住<tags>。我有：
>>&
浏览 1提问于2019-08-06得票数 13
回答已采纳
我是Haskell和Parsec的新手。在阅读之后，一个问题出现在我的脑海中:为什么以及何时Parsec优于其他解析器生成器，如Yacc/Bison/Antlr？
我的理解是，Parsec创建了一个编写解析器的很好的DSL，而Haskell让它变得非常容易和富有表现力。但解析是这样一种标准/流行的技术，它值得拥有自己的语言，可以输出到多种目标语言。那么，我们什么时候应该使用Parsec来代替，比如说，从Bison/Antlr生成Haskell代码？
这个问题可能会超出技术的范畴，进入行业实践的领域。在从头开始编写解析器时，与Bison/Antlr或类似的解析器相比，选择Haskell/Pars
浏览 1提问于2011-02-20得票数 41
2回答
我正在尝试建立一个真正的，完全回溯+组合器在parsec上。
也就是说，它接收解析器，并尝试查找给定组合子的一个或多个实例。
例如，这意味着parse_one_or_more foolish_a将能够连续匹配9个字符a。(有关上下文，请参阅下面的代码)
据我所知，它目前没有这样做的原因是，在foolish_a找到一个匹配(前两个as)之后，many1 (try p1)永远不会放弃这个匹配。
这在parsec中是可能的吗？我敢肯定它会非常慢(这个简单的例子已经是指数级的了！)但我想知道这是否可以做到。它适用于没有时间限制的编程挑战--我不想在野外使用它
import Text.Parsec
im
浏览 0提问于2020-12-24得票数 0
我正在学习Scala和FP，在“”一书中，组合器一词在“函数设计和组合器库”一章中提到：
回顾我们的实现，我们将注意到一种常见的模式:对于某些类型的A，我们的每个函数都有一种形式RNG => (A，RNG)。这种类型的函数称为状态操作或状态转换，因为它们将RNG状态从一个转换到另一个。这些状态操作可以使用组合器组合，这些组合器是我们将在本节中定义的高阶函数。由于自己长时间传递状态是相当繁琐和重复的，我们希望我们的组合子自动地将状态从一个动作传递到下一个动作。
那么，组合子是高阶函数还是高阶函数，还是某种技术(设计模式)，还是代数类型？
为了更精确地回答问题，问题是:什么是组合子，
浏览 5提问于2019-11-03得票数 4
回答已采纳
全,
我正在尝试使用parsec编写一个解析器。目标是最终能够解析一种玩具语言。
现在，我正在努力使parsec识别两个不同的可能选项，例如赋值和函数调用。
如何编写"parseCode“函数来解析以下内容：
x = 3
y = 4
plus(x,y)
转入：
(Assignment "x" "3")
(Assignment "y" "4")
(Invocation "plus" ["x","y"])
谢谢
编辑：
**为简洁而省略**
编辑2：
我构建了一些您的建议，现在有
浏览 4提问于2013-10-07得票数 2
回答已采纳
我被分配使用(即通过导入Parsec.Text)制作一个相当简单的计算器解析器。此解析器需要对整数和浮点输入进行操作。在我要寻找的内容中，有一个基本的代码可以介绍：
import Text.Parsec hiding(digit)
import Data.Functor
type Parser a = Parsec String () a
digit :: Parser Char
digit = oneOf ['0'..'9']
number :: Parser Integer
number = read <$> many1 digit
fp
浏览 3提问于2019-12-28得票数 1
回答已采纳
我在学帕尔塞克。我有这样的代码： import Text.Parsec.String (Parser)
import Control.Applicative hiding ((<|>))
import Text.ParserCombinators.Parsec hiding (many)
inBracketsP :: Parser [String]
inBracketsP = (many $ between (char '[') (char ']') (many $ char '.')) <* eof
main :: IO
浏览 24提问于2021-10-23得票数 1
回答已采纳
1回答
作为学习使用Parsec的一个练习，我正在编写一个验证平衡括号的解析器。我只担心对()、[]和{}，但不能让我的解析器处理第一个内的多个括号组。
我正在针对从中从exercism.io中提取的许多测试用例进行测试，但值得注意的边缘案例是：
isBalanced "" = True
isBalanced "(some[nonsense]with)brackets" = True
isBalanced "}{" = False -- reversed brackets no good.
isBalanced "{}}" = Fal
浏览 1提问于2018-04-13得票数 2
回答已采纳
我需要在格式不佳的HTML文档中解析单个select标记(这样基于XML的解析器就不能工作)。
我想我知道如何使用parsec来解析select标记，但是如何跳过标记之前和之后的所有内容呢？
示例：
<html>
random content with lots of tags...
<select id=something title="whatever"><option value=1 selected>1. First<option value=2>2. Second</select>
more
浏览 2提问于2015-04-09得票数 1
回答已采纳
1回答
我正在使用Parsec创建一个解析器，并试图在解析过程中返回一个特定的错误。
这是一个最低限度的解析器示例，用于暴露我的问题：
parseA = try seq1
<|> seq2
seq1 = do
manyTill anyChar (try $ string "\n* ")
many1 anyChar
fail "My error message"
seq2 = do
manyTill anyChar (try $ string "\n-
浏览 0提问于2019-01-07得票数 3
回答已采纳
2回答
绑定与Haskell中的赋值
、、、、
我正在学习教程，一个代码块让我想知道绑定和赋值之间的区别：
parseAtom = do first <- letter <|> symbol
rest <- many (letter <|> digit <|> symbol)
let atom = first:rest
return $ case atom of
"#t" -> Bool True
"
浏览 0提问于2013-06-10得票数 2
回答已采纳
1回答
在我的工作中，我遇到了许多粗糙的sql，我有了一个聪明的想法，编写一个程序来解析sql并将其整齐地打印出来。我做得很快，但我遇到了一个我不知道如何解决的问题。
因此，让我们假设sql是"select foo from bar where 1“。我的想法是，总是有一个关键字后面跟着它的数据，所以我所要做的就是解析一个关键字，然后在下一个关键字之前捕获所有胡言乱语，并将其存储起来，以便以后进行清理。代码如下：
import Text.Parsec
import Text.Parsec.Combinator
import Text.Parsec.Char
import Data.Text (
浏览 0提问于2011-07-18得票数 10
回答已采纳
1回答
我们在编译器设计类中进行自顶向下的解析。这些例子都是类似java的语言。我决定尝试一种简单的函数式语言来使它变得有趣，所以我使用了PCF ()。不过，我似乎不能把它写进LL(1)语法。我认为问题是函数应用(即两个表达式并列)。我没有得到明确的答案，如何确定这是因为我缺乏技能，还是这是一种没有LL(1)语法或LL(k)的语言。有人能澄清我只是需要更聪明还是根本不存在这样的语法？
基本上，我的PCF版本有点像下面的草图(大写是非终端，"//“开始注释)。我说“类似的东西”，因为我不太相信这一点，我写了许多变体--只是想要一种合理的PCF变体。
请注意，我已经尝试过左因子分解和考虑优先于中间
浏览 1提问于2016-02-29得票数 1
回答已采纳
作为第四个练习的一部分，我想使用一个reads类型函数，比如带有parsec Parser的readHex。
为此，我编写了一个函数：
liftReadsToParse :: Parser String -> (String -> [(a, String)]) -> Parser a
liftReadsToParse p f = p >>= \s -> if null (f s) then fail "No parse" else (return . fst . head ) (f s)
例如，可以在GHCI中使用，如下所示：
*Main N
浏览 2提问于2010-08-25得票数 4
回答已采纳
1回答
错运算符优先与快乐
、、、
在Haskell中探索解析库时，我遇到了一个项目：。运行一些示例，我发现运算符优先级有问题。当使用Parsec时，它工作得很好：
$ echo "3*2+1" | dist/build/lambda-parsec/lambda-parsec
Op Add (Op Mul (Num 3) (Num 2)) (Num 1)
Num 7
但不是和快乐/亚历克斯：
$ echo "3*2+1" | dist/build/lambda-happy-alex/lambda-happy-alex
Op Mul (Num 3) (Op Add (Num 2) (Num 1))
浏览 2提问于2014-08-14得票数 4
回答已采纳
在下面的代码中，我可以使用Parsec正确地解析每个令牌之后的空格：
whitespace = skipMany (space <?> "")
number :: Parser Integer
number = result <?> "number"
where
result = do {
ds <- many1 digit;
whitespace;
return (read ds)
}
table = result
where
result = [
[Infix (genPa
浏览 3提问于2012-11-25得票数 0
回答已采纳
我从中摘取了下面的例子，并根据自己的需要进行了修改。它几乎是合适的，但我想要做的是，总是将commaSep表达式中的第一个字符串解析为标识符，而所有后续字符串应该只是字符串。
目前，它们都被解析为标识符。
*Parser> parse expr "" "rd (isFib, test2, 100.1, ?BOOL)"
Right (FuncCall "rd" [Identifier "isFib",Identifier "test2",Number 100.1,Query "?BOOL"])
浏览 0提问于2012-11-26得票数 2
回答已采纳
1回答
我需要解析(String,Int)类型，因为userRatings是为了正确地从textFile中读取，所以我使用的是Parsec。这是与导入一起的解析，我的stringInt元组函数有这个错误。
为“Parsec (String，Int)”期待两个参数时，需要一个类型，但是“Parsec (String，Int)”在字符串Int的类型签名中有“* -> * -> *”类型: stringIntTuple :：Parsec (String，Int)
import Control.Monad
import Control.Applicative((<*)
浏览 1提问于2016-03-06得票数 0
回答已采纳
2回答
使用如下所示的阴谋文件(相关库部分)：
编译依赖: base >=4.8 & 1.2；4.9，filepath >=1.4 &1.2；1.5，time >=1.5 &1.2；1.6，bytestring >=0.10 && 1.2；0.11，unix >=2.7 &1.2；2.8，密码散列>=0.11 &1.2；0.12，process >=1.2 &1.2；1.3，变压器>= 0.4和< 0.5，文本>= 1.2 && <= 1.3，base 1
浏览 7提问于2016-06-01得票数 1
回答已采纳
我理解Parsec模块的parse函数，它接受一个规则参数、一个错误消息和一个输入字符串：
parse rule text = Parsec.parse rule "(source)" text
但是，我不理解Parsec.Parsec的含义，也不明白它与Parsec.ParsecT有何不同。为什么自定义解析器的类型签名使用此名称？
例如，在以下从获取的代码片段中，
myParser :: Parsec.Parsec String () (String,String)
myParser = do
letters <- Parsec.many1 Parsec.let
浏览 4提问于2015-06-29得票数 4
回答已采纳
1回答
我开始学习Haskell，并希望为execrsice解析一个PPM映像。PPM格式的结构相当简单，但很棘手。它被描述为。首先，我为PPM映像定义了一个类型：
data Pixel = Pixel { red :: Int, green :: Int, blue :: Int} deriving(Show)
data BitmapFormat = TextualBitmap | BinaryBitmap deriving(Show)
data Header = Header { format :: BitmapFormat
, width :: Int
浏览 3提问于2013-12-27得票数 2
回答已采纳
2回答
给定Parser库中的parsec，什么是进行流读取(从输入文件)和写入(将解析的blob/行附加到输出文件)的好方法。下面是Text.Parsec.ByteString的一个示例
main = do{ result <- parseFromFile numbers "digits.txt"
; case result of
Left err -> print err
Right xs -> print (sum xs)
}
上面的
浏览 12提问于2015-04-14得票数 0
回答已采纳
1回答
我正在努力学习Parsec，并试图解析一个简单的电子邮件地址。我尝试了下面的代码。我的预期输出是作为字符串的整个电子邮件地址。但是当我运行代码时，我只能得到".com“，请告诉我发生了什么事？
{-# LANGUAGE NoMonomorphismRestriction #-}
import Text.Parsec
import Control.Applicative hiding ((<|>))
email = many1 alphaNum
*> char '@'
*> many1 alphaNum
*>
浏览 0提问于2013-08-18得票数 5
回答已采纳
Haskell的Parsec的缩进包提供了一种解析缩进风格的语言(如Haskell和Python)的方法。它重新定义了Parser类型，那么如何使用由Parsec的模块导出的、属于普通Parser类型的令牌解析器函数呢？
背景
是一个解析器组合器库，无论means.是提供两个模块的旧程序包，是提供单个模块的新程序包，都是
Parsec与一起提供。它们中的大多数导出一组有用的解析器(例如，来自的newline，它解析换行符)或解析器组合符(例如，来自的count n p，它运行解析器p，n次)
然而，模块想要导出由用户参数化的函数和被解析语言的特征，这样，例如，braces p函数将在解析
浏览 32提问于2013-03-10得票数 17
回答已采纳
我有一个以Text作为流类型编写的解析器，而默认情况下，Text.Parsec.String模块使用String。
如何在Parsec Text b c上下文中使用自定义书面解析器( Parsec String b c )
从本质上说，我似乎需要这样一种功能：
f :: Parsec Text b c -> Parsec String b c
f = undefined
虽然这听起来是可能的，但它似乎是相当复杂的。
浏览 6提问于2020-08-08得票数 4
回答已采纳
1回答
我试图在Haskell中使用parsec解析一个字符串，但是每次尝试都会抛出另一种类型的错误。
import Text.ParserCombinators.Parsec
csvFile = endBy line eol
line = sepBy cell (char ',')
cell = many (noneOf ",\n")
eol = char '\n'
parseCSV :: String -> Either ParseError [[String]]
parseCSV input = parse csvFile "(un
浏览 3提问于2018-10-19得票数 0
我想使用Haskell的parsec库实现这个语法规则：
((a | b | c)* (a | b))?
它是一个解析器规则，它接受可选(即可能为空)字符串。如果它拥有的字符串不是空的，则可以通过传递零次或多次出现的a b或c解析器来使用它，但是外部大多数?可选解析器接受的字符串必须由解析器a或b使用，而不是c。下面是一个例子：
module Main where
import Text.Parsec
import Text.Parsec.Text
a,b,c :: GenParser () Char
a = char 'a'
b = char 'b'
c
浏览 1提问于2016-01-19得票数 9
回答已采纳
1回答
我正在使用，它非常合理，因为它是从另一种语言的习语中翻译出来的，它大量使用操作符重新定义。
用法以from parsec import *开头，一般来说，我尽量避免使用它，而是保留我的命名空间。更像import parsec as p，然后使用子函数和每个操作符，显式。
这适用于某些函数，如p.many1()、p.spaces()或p.regex()。
然而，这也让我试图导入名字间距的操作符，而这看起来更少了。
例如，重定义按位的>>和<<。。
使用名称空间调用这些运算符不仅看上去像非unpythonic的，而且我甚至不清楚如何做到：p.>>？如您所见，这是
浏览 0提问于2019-08-14得票数 0
回答已采纳
1回答
我正在编写一个两遍解析器，首先将文本扫描成令牌(使用Alex)，然后解析这些令牌(使用Parsec)。一切都很好，直到我尝试将位置信息添加到令牌中，这样我才能写出一条好的错误消息。
最初我有：
data Token = TAtom | TString String | TInt Integer | TFloat [...]
似乎我既可以向每个Token构造函数添加一个Position元素，也可以创建一个像data TokenWithPosition = T Token Position这样的新类型。
我已经开始走后一条路，但是现在我遇到了一个问题，当我想用Parsec描述一个令牌时，我必须创建
浏览 0提问于2013-04-19得票数 10
回答已采纳
如果我有这个密码：
import Text.Parsec
ispositive a = if (a<0) then Nothing else (Just a)
f a b = a+b
parserfrommaybe :: String -> (Maybe c) -> Parsec a b c
parserfrommaybe msg Nothing = fail msg
parserfrommaybe _ (Just res) = return res
(<!>) :: Parsec a b (Maybe c) -> String -&
浏览 7提问于2016-03-20得票数 2
回答已采纳
2回答
我正在使用haskell编写一个wiki解析器，我遇到了这个问题。我的代码现在看起来像这样
import System.Environment
import Control.Applicative hiding ((<|>), many)
import Control.Monad
import Text.Parsec
import Text.Parsec.String
import Text.Parsec.ByteString.Lazy
data RichText = UText String
| DText String
浏览 1提问于2014-10-24得票数 0
回答已采纳
我刚刚开始学习使用Parsec解析字符串，我面临着以下问题，我无法将我的注意力集中在这些问题上：
下面的代码包含三个解析器运行，其中两个显然会失败。奇怪的是，我的自定义失败消息只会在第二次运行时出现，而不会在第三次运行时出现。
import Text.Parsec
import Text.Parsec.String
ps :: Parser String
ps = (string "123") <|> (string "456") <|> fail "my-failure"
main = do
putStrL
浏览 2提问于2013-03-13得票数 0
回答已采纳
1回答
我想编写一个Parsec解析器，它将解析一个数字序列，返回一个排序列表，但在遇到重复数字时失败(错误应该指向重复的位置)。对于排序的部分，我可以简单地使用：
manySorted = manyAccum insert
但是，如果数字已经在列表中，我如何触发Parsec错误。manyAccum似乎不允许这样做，我也想不出如何实现我自己的manyAccum克隆(实现使用的是unParser，它似乎不公开在Parsec库之外)。
浏览 2提问于2014-10-15得票数 0
回答已采纳
我想使用Parsec的令牌和Expr模块来解析以$ (如$a=$b)开头的变量的表达式。下面是我的代码的简化版本：
module Main where
import Control.Monad.Identity
import Control.Applicative
import Text.Parsec
import Text.Parsec.String
import qualified Text.Parsec.Token as Tok
import qualified Text.Parsec.Language as Tok
import qualified Text.Parsec.
浏览 3提问于2015-08-31得票数 3
回答已采纳
1回答
我希望将FParsec用于类似python的语言，基于缩进。
我知道，这必须在lexing阶段完成，但是FParsec没有一个词法阶段。是否可以使用FParsec，或者，如何在词法结束后给它喂食？
P.D:我是F#的新手，但在其他语言方面有经验
浏览 2提问于2014-11-27得票数 7
回答已采纳
假设我只想创建我自己的解析器，这与Parsec中的char完全相同，但是当我运行时
import Text.Parsec
char1 c = char c
它给了我
? Non type-variable argument in the constraint: Stream s m Char
(Use FlexibleContexts to permit this)
? When checking the inferred type
char1 :: forall s (m :: * -> *) u.
Stream s m Char =>
浏览 0提问于2018-11-08得票数 1
回答已采纳
2回答
我不知道如何使用lexeme函数
、、、、
来自Text.Parsec.Token
lexeme p = do { x <- p; whiteSpace; return x }
lexeme似乎接受一个解析器p，并提供一个与p具有相同行为的解析器，只是它还跳过了所有尾随的空格。对，是这样?
那么为什么下面的代码不起作用呢？
constant :: Parser Int
constant = do
digits <- many1 digit
return (read digits)
lexConst :: Parser Int
lexConst = lexeme constant
最后一行导致以下错误消息：
浏览 0提问于2013-05-07得票数 1
回答已采纳
对于一个项目，我们的任务是构建一个haskell解析器/评估器来控制一个微小的arduino机器人。
因此，首先，我对已经实现的解析器设置进行了一些研究，并遇到了这样一个问题：。
(无可否认)复制粘贴代码之后，我开始测试它。成功了\o/。现在是时候扩展它的功能了。
编辑代码：
data Stmt = Seq [Stmt]
| Assign String AExpr
| If BExpr Stmt Stmt
| While BExpr Stmt
| Motor String AExpr
| Skip
deriving (Show)
浏览 2提问于2016-05-14得票数 1
回答已采纳
2回答
我使用的许多Parsec组合器都属于一种类型，例如：
foo :: CharParser st Foo
CharParser被定义为：
type CharParser st = GenParser Char st
因此，CharParser是一个涉及GenParser的类型同义词，它本身将定义为：
type GenParser tok st = Parsec [tok] st
然后，GenParser是另一种类型的同义词，使用Parsec指定，将定义为：
type Parsec s u = ParsecT s u Identity
因此，Parsec是ParsecT的部分应用程序，它本身列出的
浏览 2提问于2011-11-08得票数 11
回答已采纳
我基本上是从蟒蛇世界来的，已经和haskell玩了几天了。
作为python用户，来自hackage / stackage的库的名称空间是最令人困惑的。
例如，在python中，我们将导入Scotty模块，比如import scotty，而haskell则会执行import Web.Scotty。
将库上传到堆栈或黑客上的Haskellers似乎更喜欢将其库置于类别的命名空间(例如Web、Language、.)。
在讨论之外，不管这是一种好的方法还是不能从角度上看依赖控制，这种分类是否有任何事实上的惯例？
是否有任何社区认可的指南，如“将这类图书馆归入Network类别，并将此类图书馆归入We
浏览 2提问于2015-11-27得票数 11
回答已采纳
1回答
我是Haskell的新手，我正在尝试解析表达式。我发现了Parsec，我也找到了一些文章，但我似乎不明白我必须做什么。我的问题是，我想给出一个类似"x^2+2*x+3“的表达式，结果是一个接受参数x并返回值的函数。如果这是一个简单的问题，我很抱歉，但我真的需要一些帮助。谢谢!我插入的代码来自您可以在上找到的文章。
import Control.Monad(liftM)
import Text.ParserCombinators.Parsec
import Text.ParserCombinators.Parsec.Expr
import Text.ParserCombinator
浏览 3提问于2011-01-17得票数 11
回答已采纳
3回答
下面的BNF定义了一种逻辑语言。
formula ::= true
| false
| var
| formula & formula
| [binder] formula
binder ::= var
| $var
本质上，这允许使用诸如x & true、[x]x和[$x](x & true)之类的公式。语义在这里并不重要；但最重要的是，我在公式前面出现了这些方括号内的表达式，在这些方括号内的表达式中，标识符的前面可能有美元符号($)，也可能没有。现
浏览 0提问于2019-03-19得票数 1
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
