Haskell

純粋関数型言語

強い静的型付け

数学者ハスケル・カリーに由来する

コンピュータに何をするかではなく、何であるかを伝える

Haskellのifは必ず値を返す式であり、文ではない

すべての関数は何らかの値を返す