ストラクチャ＝{構造体 | クラス | 型クラス | レコード | 指標 | オブジェクト} トランスフォーマ＝{ファンクタ（SML） | 型クラス・インスタンス | セオリー} プロファイリング ： ストラクチャのメンバーの一部 バインディング ： ストラクチャのメンバー…

用語法、表記法 オペレーター | オペレータ | 演算子 | 作用素 | コンビネータ | コンビネーター コンストラクタ | コンストラクター | 構成子 | 構築子 | 生成子 例 トレースオペレーター 不動点オペレーター CADGの微分オペレーター／微分コンビネータ デ…

Erlangにパーズトランスフォームってのがあったけど、あんな感じだろうな。プログラミング言語であれば、そのプログラミング言語でパーズトランスフォームを書けたらいいが、専用構文のほうが可搬性はあるかもしれない。いずれにしても、入力構文の適当なタ…

「型」と「型つけ」の概念が曖昧。型の代わりにプロファイルを導入して、型つけ〈タイピング〉の代わりにプロファイリングを使う。型は対象のことだとして、型付けは、基礎射のプロファイリングの意味に限定して使う。つまり、f:->A in C の形のプロファイリ…