データ型と型シノニム - 檜山正幸のキマイラ飼育記 メモ編 で、コンプリヘンションとコンビネーションと言ったが、 コンプリヘンション（了解） コンストラクション（構成） にする。定義を、 了解〈コンプリヘンション〉による定義 構成〈コンストラクショ…

nomenclatureはだいたい「ノメンクラチャー」 -- 学名命名法、専門語、学名、術語 といった意味で、ここでは「術語法」といった意味。おバカ風は： キモい パねぇ キョドる カミ（神）ってる ググる KY（空気読めない）、YDK（やれば出来る子）、BBA（ばばあ…

システムボキャブラリーは、2つの構成要素からなる。 ディヴィジョンに付けるラベルの集合 パーザーに変更を加える構文マクロの集合 キーワード（予約語）のほとんどは、ディヴィジョンのラベル。したがって、ディヴィジョンのラベルを変えると雰囲気がガラ…

HaskellやMLで、データ型と型シノニムの違いがある。この違いは、関数定義において、“再帰スキーマやイプシロン式で定義する”のと、“通常の関数定義する”のとの違いと類似だろう。スキーマとは、「これこれの性質を持つモノ」という性質記述をすると、その存…