平凡秒差距例子產生

Question

我試圖讓這個平凡秒差距代碼編譯

import Text.Parsec 
simple = letter 

，但我不斷收到此錯誤

No instance for (Stream s0 m0 Char) 
    arising from a use of `letter' 
Possible fix: add an instance declaration for (Stream s0 m0 Char) 
In the expression: letter 
In an equation for `simple': simple = letter 

Answer 1

我想你已經對跑了錯誤類型單態限制。這個限制意味着：如果一個變量沒有明確的參數聲明，它的類型必須是單形的。這迫使typechecker挑選Stream的特定實例，但它無法做出決定。

有兩種方法打吧：

1. 給simple一個明確的簽名：

   simple :: Stream s m Char => ParsecT s u m Char 
   simple = letter 
   

2. 禁用monorphism限制：

   {-# LANGUAGE NoMonomorphismRestriction #-} 
   import Text.Parsec 
   simple = letter 
   

見What is the monomorphism restriction?有關單態限制的更多信息。