いものやま。

前回の続き。 発注システムの例 この発表では代数的データ型の例として発注システムの例を挙げている。 簡単にいうと、注文にはいろいろ状態があって、状態ごとに持つべきプロパティやできることに違いがある、と。 そこで、それぞれの状態の直和型を注文型とすることで、各状態で持てるプロパティを限定させ、また処理で…