なんとなく考えてみた正格評価と遅延評価の違い

正格評価

　専門用語の類は必ず先に全て列挙、定義しておく。その上で、専門用語を駆使して展開する。

遅延評価

　専門用語込みでいきなり展開。ただ、分からないタームが出てきたらすぐに質問してもらう。聞かれたらそれについて答える。もしその答えの中に分からないタームが出てきたら、そこもすかさず質問してもらい…、と、以下再帰的ループ。