Parsec và phong cách áp dụng

Question

ai đó có thể giúp tôi hiểu cách sử dụng Kiểu ứng dụng để viết trình phân tích Parsec không? Đây là mã tôi có:

module Main where 
import Control.Applicative hiding (many) 
import Text.Parsec 
import Data.Functor.Identity 
data Cmd = A | B deriving (Show) 

main = do 
    line <- getContents 
    putStrLn . show $ parseCmd line 

parseCmd :: String -> Either ParseError String 
parseCmd input = parse cmdParse "(parser)" input 

cmdParse :: Parsec String() String 
cmdParse = do 
    slash <- char '/' 
    whatever <- many alphaNum 
    return (slash:whatever) 

cmdParse2 :: String -> Parsec String() String 
cmdParse2 = (:) <$> (char '/') <*> many alphaNum 

nhưng khi tôi cố gắng để biên dịch nó, tôi nhận được như sau:

/home/tomasherman/Desktop/funinthesun.hs:21:13: 
    Couldn't match expected type `Parsec String() String' 
       with actual type `[a0]' 
    Expected type: a0 -> [a0] -> Parsec String() String 
     Actual type: a0 -> [a0] -> [a0] 
    In the first argument of `(<$>)', namely `(:)' 
    In the first argument of `(<*>)', namely `(:) <$> (char '/')' 
Failed, modules loaded: none. 

Ý tưởng là tôi muốn cmdParse2 để làm điều tương tự mà cmdParse có, nhưng sử dụng công cụ ứng dụng ... cách tiếp cận của tôi có thể hoàn toàn sai, tôi mới có haskell

Answer 1

Việc sử dụng ứng dụng của bạn được bật ngay, bạn chỉ có chữ ký không chính xác. Hãy thử:

cmdParse2 :: Parsec String() String 

Answer 2

Cách tiếp cận của bạn có vẻ đúng với tôi, vấn đề là cmdParse2 có loại sai. Nó phải có cùng loại với cmdParse. Nhân tiện, bạn có thể bỏ qua các parens xung quanh char '/' trong trình phân tích cú pháp kiểu ứng dụng.