やっていき 型 コンパイル時に全ての型がわかっている 型推論がある 型を調べる 式の型が:t でわかる。::以降が型となる。 *Main Lib> :t 'a' 'a' :: Char *Main Lib> :t 3 3 :: Num t => t *Main Lib> :t "Hello" "Hello" :: [Char] *Main> :t boomBangs bo…