依存型OOPを最初の原理から導出 - 追加付録を含む拡張版

関数型とオブジェクト指向プログラミングの違いを探求し、依存型オブジェクト指向プログラミングを最初の原理から導出する。