diff options
| -rw-r--r-- | haskell.html.markdown | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/haskell.html.markdown b/haskell.html.markdown index 11109ab8..34df4d08 100644 --- a/haskell.html.markdown +++ b/haskell.html.markdown @@ -292,9 +292,9 @@ say Green = "You are Green!" data Maybe a = Nothing | Just a -- These are all of type Maybe -Nothing -Just "hello" -Just 1 +Just "hello" -- of type `Maybe String` +Just 1 -- of type `Maybe Int` +Nothing -- of type `Maybe a` for any `a` ---------------------------------------------------- -- 8. Haskell IO @@ -344,8 +344,8 @@ sayHello = do -- Let's understand better how the function `getLine` we just -- used works. Its type is: -- getLine :: IO String --- You can think of a value of type `IO String` as representing a --- computer program that will generate a value of type `String` +-- You can think of a value of type `IO a` as representing a +-- computer program that will generate a value of type `a` -- when executed (in addition to anything else it does). We can -- store and reuse this value using `<-`. We can also -- make our own action of type `IO String`: |