newtype 問題?

sw2wolf

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 編輯 ]

MMMIX

原帖由 sw2wolf 于 2009-5-22 08:07 發(fā)表
能講講這段代碼意思嗎? GenParser與Parser在相互引用?

你看的是哪個版本的 Parsec?

MMMIX

原帖由 sw2wolf 于 2009-5-22 08:07 發(fā)表
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 的輸出粘過來的？如果是的話，那么原始的定義就應(yīng)該是

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

復(fù)制代碼

注意，這里的兩個 Parser 只是名字相同而已，它們并不是同一個東西。第一個 Parser 是個 type constructor, 而后一個 Parser 是個 data constructor.

sw2wolf

>>newtype GenParser tok st a = Parser (State tok st -> Consumed (Reply tok st a))
那這個Data Constructor中, State tok st -> Consumed (Reply tok st a)是什么意思呢? 是用一個函數(shù)來構(gòu)造嗎?

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

MMMIX

原帖由 sw2wolf 于 2009-5-22 13:16 發(fā)表
>>newtype GenParser tok st a = Parser (State tok st -> Consumed (Reply tok st a))
那這個Data Constructor中, State tok st -> Consumed (Reply tok st a)是什么意思呢? 是用一個函數(shù)來構(gòu)造嗎?

Parser 是 type constructor GenParser 的一個 data constructor，data constructor Parser 的參數(shù)的類型為 State tok st -> Consumed (Reply tok st a)

izhier

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

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

sw2wolf

謝謝!
論壇的郵件通知有錯誤, 如
http://bbs2.chinaunix.net/thread-1459681-1-1.html 變成
http://bbs3.chinaunix.net/viewthread.php?tid=