星野正利のHaskell日記

■ P.58 型変数(type variable)

同じ型であること示すために、同じ変数名を使う。

例：

reverse :: [a] -> [a]

など。

■ P.60 関数の型宣言

大抵は型宣言を省略してもコンパイルできる。

但し、ソースを読む時の為に（人間の為に）、きちんと宣言すべき。

■ P.62 高階関数

関数を引数にとる関数。

これが、関数型言語の肝？

■ P.63 map関数

java.util.Map とは大違い。

forループを使って、変換処理を行うのに対応？

■ P.65 if式

if文に非ず。三項演算子の方が近い。

■ P.66 二項演算子

二項演算子も関数。

型宣言では、関数名をカッコで囲んで、２項演算子であることを表す。

■ P.69 concat関数

リストの次元を一つ落とす。

２次元から１次元、３次元から２次元。