2008-10-30から1日間の記事一覧
排他的な状態を表現するにはバリアントを利用した方がいいと思う。例えば、ある描画可能オブジェクトがドラッグ中なのか変形中なのか、あるいはそのいずれでもないのか、これらは互いに排他的な遷移状態。だから、 type t = IDLE | DRAGGING | TRANSFORMING …
排他的な状態を表現するにはバリアントを利用した方がいいと思う。例えば、ある描画可能オブジェクトがドラッグ中なのか変形中なのか、あるいはそのいずれでもないのか、これらは互いに排他的な遷移状態。だから、 type t = IDLE | DRAGGING | TRANSFORMING …