Question

很多Parsec合并者一使用,例如:

foo :: CharParser st Foo

here:

type CharParser st = GenParser Char st

here。

type GenParser tok st = Parsec [tok] st

here 。

type Parsec s u = ParsecT s u Identity

http://hackage.haskell.org/ Packages/archive/parsec/doc/html。类型:

data ParsecT s u m a

加上:

"ParsecT s u m a is a parser with stream type s, user state type u, underlying monad m and return type a."

mon底是什么? 尤其是,当我使用<条码>CharParser教区时,情况如何? 我看一看它被插入哪里。在 Monadic Parsing in Haskell上,将多个成功阶层从模棱两可的教区返回?

Answer 1

Parser的定义是Parsec,而不是ParsecT。而安全则被定义为

type Parsec s u = ParsecT s u Identity

因此,答案是,在使用CharParser时, under子是身份证明。

Answer 2

在您的情形下,lying系Identity。但是,ParsecT与大多数mon变器不同,因为即使其类型参数为m ,它还是<代码>的一个实例。如果你看看源代码,你将注意到在示范声明中没有“(Monad m)=>。

因此,你要求 yourself,“如果我要有一个非部落的mon,那么会在哪里使用?”

这个问题有三个答案:

用于<代码>uncons a. 下一层:
```
 class (Monad m) => Stream s m t | s -> t where
     uncons :: s -> m (Maybe (t,s))
```
通知<代码>uncons 采用<条码><>(条码/代码>(条形码<>t)并将之结果填入门。这使得人们能够做一些有趣的事情,甚至是在下台时。
它是用于每一层的产物。这意味着,你可以创造不触及投入的教区,但在mon子里采取行动,并利用合并者把他们约束在正规教区。换言之,<条码>升值(x a) 治安 T s u m a。
最后,RunParsecT和朋友(直到您建立为止,m被Identity所取代)的结局将在本mon中总结的成果退回。

The monad and the one from Monadic Parsing in Haskell 。在该案中,胡顿和梅伊杰尔提到“ParsecT”一案。在Parsec-3.0.0和ParsecT以外地区已成为mon变者这一事实与该文件无关。

然而,我认为,你所期待的是可能的成果清单。在胡顿和梅伊杰尔,教区归还了一份所有可能结果的清单,而Parsec则顽固地返回只有一个。我认为,你正在研究<代码>m,并想到,结果清单必须存放在其他地方。不是。

出于效率原因,Parsec选择了选择,选择了第一个相应的结果,即胡顿和梅伊杰尔结果清单。让我们把胡顿和梅伊杰尔名单的尾声中未使用的结果,也从心灵中抹掉,因为我们永远不会倒退。 In parsec, given the joint parser a < ; ba 消费任何投入的<代码>b永远不会得到评估。 <代码>try,将国家重新编号为a,然后评价<代码>b。

You asked in the comments if this was done using Maybe or Either. The answer is "almost but not quite." If you look at the low lever run* functions you see that they return an Algebraic type which tell weather input was consumed then a second which give either the result or an error message. These types work kind of like Either, but even they are not used directly. Rather then stretch this out further, I ll refer you to the post by Antoine Latter that explains how this works and why it is done this way.

友情链接