The magic of Haskell

ThemagicofHaskell Typesystem Haskellisstaticallytyped I HaskellusesDamas–Hindley–Milnertypesystem I We can write a number and Haskell will infer a type I We can see that type by using the ’:t’ command in the repl::t ’a’:t True:t "HELLO!":t (True, ’a’):t 4 == 5 1==1 ’a’ :: Char True :: Bool "HELLO!" ................
................