13:23:45 From William Karlsson : only the second x needs to be evaluated to return? 13:23:46 From sanctified : x is only evaluated once? 13:24:28 From Alexander : does it print the first or second x? 13:24:50 From Alexander : :O 13:30:15 From Alice : Is there a difference in IO() and () , do you add IO just so you can show that it is input output? I don’t really understand the difference 13:32:08 From Alexander : is getLine lazy as well? 13:33:30 From paul To Jacek Malec(privately) : putStrLn takes an IO String right? but we give it a String is it auto converted? 13:34:18 From paul To Jacek Malec(privately) : Nevermind it takes a string sorry 13:34:29 From sanctified : () is roughly equivalent to "void", correct? 13:53:08 From karek : Could I write like: example :: IO () example = do a <- getLine return (a) putLine a ? 13:55:44 From Edvin : isnt the way you "extract" value with the aLine <- getLine stripping IO? 13:56:28 From paul To Jacek Malec(privately) : My new question is can you give a String to a function taking an IO String? If yes why is that so? If no can you extract it by giving it with as (return s) ? 13:58:44 From Jacek Malec : () :: () 14:25:07 From Alexander : Why did we need a special mmap function in the chatterbot assignment? 14:26:13 From Alexander : Ok! 14:31:08 From Jacek Malec To paul(privately) : (1*), (2*), … 14:36:11 From Alice : I don’t really understand the definition of Functor is, can you take it again in short? 14:36:51 From sanctified : ^ yes please 14:37:00 From William Karlsson : thirded 14:54:29 From Jacek Malec To paul(privately) : a -> Id b 14:54:42 From Jacek Malec To paul(privately) : f :: a -> Id b 14:54:54 From Nicholas : We can't see what you wrote 15:01:45 From Jacek Malec : a -> Id b
f :: a -> Id b 15:02:52 From faraz : Thank you 15:02:59 From Alice : Thank you! 15:03:01 From paul To Jacek Malec(privately) : Thank you 15:03:09 From Joel Sigurdsson : Happy easter