関数型言語ML 関数の集まりでプログラムを記述 関数の適用（式の構造） 評価中、式の意味は変化しない 副作用*1なし 代入・制御構造なし(whileやgoto) 高階関数：引数や戻り値として関数をゆるす 多相型：パラメータつきの型 型推論 抽象データ型：型とそれ…