オブジェクト関数パラダイム

Object-Functional Paradigmとは、ObjectのIdentity、Responsibility、State、Collaborationによる構造化と、型、値、関数、合成による厳密な計算表現を組み合わせる設計パラダイムです。

SimpleModelingでは、Objectと関数を競合する選択肢として扱いません。Object Modelが意味、境界、Responsibility、Collaborationを構造化し、Typeと関数が値、変換、結果、作用、合成可能性を形式化します。CMLがこのModelを記述し、CozyがScalaのObject-Functionalな構造へ対応付けます。

simplemodeling-libは、意味付き値、Value Domain、型による正規化、 Consequence による明示的な結果、applicative style、Type Class的な契約を組み合わせます。Domain Modelの概念的な幹は abstract class 、補助的で合成可能な振る舞いは trait として表す規約を持ち、Object側の意味とFunctional側の構成を分離しながら接続します。