プログラミング言語 III(パラダイムと評価)

言語を横断するパラダイムと評価戦略の概念を学びます。命令型と宣言型、純粋関数と副作用、不変性、高階関数、クロージャ、遅延評価と正格評価、参照透過性などを扱います。