Parsec e stile applicativo

Question

qualcuno può aiutarmi a capire come utilizzare lo stile applicativo per la scrittura di parser parsec? Questo è il codice che ho:

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 

ma quando provo a compilare, ottengo seguendo:

/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. 

L'idea è che voglio cmdParse2 fare stessa cosa che cmdParse fa, ma utilizzando roba applicativa ... il mio approccio è probabilmente completamente sbagliato, sono nuovo di haskell

Answer 1

L'utilizzo dell'applicativo è corretto, la firma è errata. Prova:

cmdParse2 :: Parsec String() String 

Answer 2

Il tuo approccio mi sembra corretto, il problema è che cmdParse2 ha il tipo sbagliato. Dovrebbe avere lo stesso tipo di cmdParse. A proposito, puoi omettere i paren intorno a char '/' nel parser di stile applicativo.