newtype 问题?

Question

type Parser a = GenParser Char () a

newtype GenParser tok st a
  = Text.ParserCombinators.Parsec.Prim.Parser (State tok st
                                               -> Text.ParserCombinators.Parsec.Prim.Consumed
                                                    (Text.ParserCombinators.Parsec.Prim.Reply
                                                       tok st a))

能讲讲这段代码意思吗? GenParser与Parser在相互引用?

[ 本帖最后由 sw2wolf 于 2009-5-22 08:10 编辑 ]

Answer 1

谢谢!
论坛的邮件通知有错误, 如
http://bbs2.chinaunix.net/thread-1459681-1-1.html 变成
http://bbs3.chinaunix.net/viewthread.php?tid=

Answer 2

Haskell 有六种命名空间：
1. variables
2. value constructors
3. type constructors
4. type variables
5. type classes
6. modules

[ 本帖最后由 izhier 于 2009-5-23 09:22 编辑 ]

Answer 3

原帖由 sw2wolf 于 2009-5-22 13:16 发表
>>newtype GenParser tok st a = Parser (State tok st -> Consumed (Reply tok st a))
那这个Data Constructor中, State tok st -> Consumed (Reply tok st a)是什么意思呢? 是用一个函数来构造吗?

Parser 是 type constructor GenParser 的一个 data constructor，data constructor Parser 的参数的类型为 State tok st -> Consumed (Reply tok st a)

Answer 4

>>newtype GenParser tok st a = Parser (State tok st -> Consumed (Reply tok st a))
那这个Data Constructor中, State tok st -> Consumed (Reply tok st a)是什么意思呢? 是用一个函数来构造吗?

[ 本帖最后由 sw2wolf 于 2009-5-22 13:27 编辑 ]

Answer 5

原帖由 sw2wolf 于 2009-5-22 08:07 发表
type Parser a = GenParser Char () a

newtype GenParser tok st a
  = Text.ParserCombinators.Parsec.Prim.Parser (State tok st
                                               -> Text.ParserCombinators.Parsec.Prim.Consumed
                                                    (Text.ParserCombinators.Parsec.Prim.Reply
                                                       tok st a))

后面这个是不是直接从 GHCi 的输出粘过来的？如果是的话，那么原始的定义就应该是

2. type Parser a = GenParser Char () a
4. newtype GenParser tok st a = Parser (State tok st -> Consumed (Reply tok st a))

复制代码
注意，这里的两个 Parser 只是名字相同而已，它们并不是同一个东西。第一个 Parser 是个 type constructor, 而后一个 Parser 是个 data constructor.

Answer 6

原帖由 sw2wolf 于 2009-5-22 08:07 发表
能讲讲这段代码意思吗? GenParser与Parser在相互引用?

你看的是哪个版本的 Parsec?