やっと2章に突入。抽象データ型のコンストラクタを改良する問題。 ここで出てくるコンストラクタ・セレクタはHaskellのデータコンストラクタ・セレクタと同じ。と思ったけど、2.1.3の注釈に抽象モデルと代数的仕様というのが書いてある。Haskellのは確か、代…
手続きを使って抽象化を実現する方法がこの章のテーマ。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。