現実世界は型の候補にあふれている
オブジェクト指向プログラミング入門 -- Java object-oriented programming primer
こちらのスライドより引用
https://gyazo.com/22dc4127b827bb219b17099e786b4e2e
Scrapboxにタイトルをつけてpageを作るように、型も作っていく
きれいな階層構造にはならない、ネットワーク構造でいい
汎用的な int 型やObject型で何もかも知識を表現したら、うすっぺらい知識になる
そこに意味を見いだせない
意味が見いだせないのは、可読性が低い状態
R.A.フィッシャーの基本定理
の逆。汎用的過ぎ。
一を聞いて十を知る
ための、独自の型の定義
DDD(Domain-Driven Design)
のドメインは、独自の知識の範囲を示していて、そこに焦点を当てる
情報は時間を節約するはずのもの
の意識で型をつける