हास्केल आईओ: वास्तविक प्रकार

Question

के साथ अपेक्षित प्रकार 'आईओ ए0' से मेल नहीं खा सकता है, मैं हास्केल में नया हूं, और मैं समझने की कोशिश करता हूं कि आईओ को सही तरीके से कैसे करना है।

ठीक निम्नलिखित काम करता है:

main = do 
    action <- cmdParser 
    putStrLn "Username to add to the password manager:" 
    username <- getLine 
    case action of 
    Add -> persist entry 
     where 
     entry = Entry username "somepassword" 

संकलन त्रुटि में निम्न परिणाम जबकि:

main = do 
    action <- cmdParser 
    case action of 
    Add -> persist entry 
     where 
     entry = Entry promptUsername "somepassword" 

promptUsername = do 
    putStrLn "Username to add to the password manager:" 
    username <- getLine 

त्रुटि यहाँ है:

Couldn't match expected type `IO b0' with actual type `[Char]' 
Expected type: IO b0 
    Actual type: String 
In the expression: username 
[...] 

यहाँ क्या चल रहा है? पहला संस्करण क्यों काम करता है, जबकि दूसरा नहीं करता है?

मुझे पता है कि स्टैक ओवरफ़्लो में इस तरह के कुछ समान प्रश्न हैं, लेकिन उनमें से कोई भी मुझे इस समस्या की व्याख्या करने लग रहा था।

Answer 1

usernameString है, लेकिन promptUsername एक IO String है। आपको कुछ ऐसा करने की ज़रूरत है:

username <- promptUsername 
let entry = Entry username "somepassword" 
persist entry 

Answer 2

यहां एक और संस्करण है।

main = do 
    action <- cmdParser 
    case action of 
    Add -> do username <- promptUsername 
       let entry = Entry username "somepassword" 
       persist entry 

promptUsername :: IO String 
promptUsername = do 
    putStrLn "Username to add to the password manager:" 
    getLine 

-- fake definitions to make things compile 

persist :: Entry -> IO() 
persist = print 

cmdParser :: IO Add 
cmdParser = fmap (const Add) getLine 

data Add = Add deriving Show 
data Entry = Entry String String deriving Show 

समस्या सिर्फ इतना है कि promptUsername एक कार्रवाई नहीं एक स्ट्रिंग है। कार्रवाई 'एक स्ट्रिंग लौटाती है', इसलिए इसमें IO String टाइप है, लेकिन यह स्ट्रिंग की तरह कुछ भी नहीं है। चूंकि Entry x y को x स्थिति में String की आवश्यकता होती है, एक्शन के आकार में कुछ संख्या या बूलियन की तुलना में कहीं अधिक फिट नहीं हो सकती है। तो अपनी जटिल कार्रवाई को परिभाषित करने में, main, आपको स्ट्रिंग को 'निकालना' चाहिए जो निष्पादन के किसी भी मामले में सरल कार्रवाई promptUsername से परिणामस्वरूप होगा, और प्रविष्टि के पहले तर्क के रूप में String दें। फिर आप persist परिणामस्वरूप Entry