第2章はHaskellの型システムについて。 明示的な型宣言 GHCiでは、:tを使うことで型を調べることができる。 Prelude> :t 'a' 'a' :: Char Prelude> :t True True :: Bool Prelude> :t "Hello" "Hello" :: [Char] Prelude> :t 4 == 5 4 == 5 :: Bool Prelude>…