पारसी और आवेदक शैली

Question

कोई मुझे समझने में मदद कर सकता है कि पारसी पार्सर्स लिखने के लिए आवेदक शैली का उपयोग कैसे करें?

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 

लेकिन जब मैं इसे संकलित करने के लिए प्रयास करते हैं, मैं निम्नलिखित हो:

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

विचार यह है कि मैं cmdParse2 एक ही बात है कि cmdParse करता है क्या करना चाहते हैं, लेकिन का उपयोग कर इस कोड को मेरे पास है है आवेदक सामान ... मेरा दृष्टिकोण शायद पूरी तरह गलत है, मैं हैकेल

Answer 1

आपका आवेदक उपयोग स्पॉट पर है, आपके पास अभी गलत हस्ताक्षर है। प्रयास करें:

cmdParse2 :: Parsec String() String 

Answer 2

आपका दृष्टिकोण मेरे लिए सही दिखता है, समस्या यह है कि cmdParse2 में गलत प्रकार है। यह cmdParse जैसा ही होना चाहिए। वैसे, आप आवेदक शैली पार्सर में char '/' के आसपास माता-पिता को छोड़ सकते हैं।