Example code:
fac :: Int → Int
fac 0 = 1
fac n = n * fac (n-1)
main = do
putStrLn show fac 10
Error:
Couldnt match expected type 'String'
against inferred type 'a -> String'
In the first argument of 'putStrLn', namely 'show'
In the expression: putStrLn show fac 10
Let's add parentheses to show how this code is actually parsed:
(((putStrLn show) fac) 10)
You're giving show
as the argument to putStrLn
, which is wrong because show
is a function and putStrLn
expects a String. You want it to be like this:
putStrLn (show (fac 10))
You could either parenthesize it like that, or you can use the $
operator, which essentially parenthesizes everything to the right of it:
putStrLn $ show $ fac 10
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With