Real World Haskell ２・３章

昨日確かに２章の日記を書いてアップしたはずなのに、なぜか消えてしまった。たぶん確認だけして閉じちゃったんだろうと思う。それでちょっとやる気をなくしたのですが、せっかく久々に書き出したのでがんばってみる。
といっても２章と３章は基本的な文法の説明なのでサラッと読みましたよ、サラッっと。なのでちょっと気になったところをメモします。
２章から。Haskellは基本的には遅延評価だから（１＋２）と書いてもそれが実際に使われるときにならないと評価は行われないんですけど、どこかで評価を行うことになればその式が必要になります。それを追跡するための情報をサンク(thunk)と言うそうです。
それと、Haskellの多相性はパラメトリック多相というやつで、JavaやC#の総称性にも影響を与えているようです。C++のテンプレートも同じようなもんです。その他にもサブタイプ多相というのがあるそうですが、そちらはよく分かりません＞＜
３章は、

パターンマッチは構成の逆変換として振る舞いますから、パターンマッチのことを分解と言うこともあります。(p54)

なるほど。そう言われるとそうですね。
しかしよくC言語を例に出してくれるの非常にありがたい。理解が容易になります。