From 3c48fae101bd4c0b1d8db2d7ca2445e04f64ab00 Mon Sep 17 00:00:00 2001 From: ilyagr Date: Wed, 3 Jul 2013 23:12:53 -0700 Subject: Update haskell.html.markdown Minor improvements to polymorphic types --- haskell.html.markdown | 10 +++++----- 1 file 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`: -- cgit v1.2.3