じゃあ、オブジェクト指向プログラミングに対応するような、意味論はあるんだろうか？メジャーなところだと、 操作的意味論 表示的意味論 圏論 高利的意味論 なんかがあると思うんだけど、これらはどれもOOPとは違う気がする。(レコード操作にマップすること…