4 ms·

> The type of the parameter is IO String. No, the type of the parameter is String. IO String is the type of the expression that gets that parameter when execut

by quchen 13y ago

> The type of the parameter is IO String. No, the type of the parameter is String. IO String is the type of the expression that gets that parameter when executed. There's a popular quote by shachaf, "getLine :: IO String contains a String in the same way that /bin/ls contains a list of files" that illustrates this nicely.

solomatov 13y ago
I understand what a monad and IO monad is and what the types of the expressions are. I am just showing that the current monad syntax is ugly. connectToDb $ readParams "conf" can be transformed by a compiler into what you wrote.
- gizmo686 13y ago
  readParams "conf" >>= connectToDb