車輪の同時発明/再発明 目眩がする - (新) 檜山正幸のキマイラ飼育記 メモ編の続き
ほぼ同義語:
- 指標
- ストラクチャ
- コンストラクション
- ファンクタ
- モジュール
- アダプタ
- トランスフォーマー(一時使っていた)
- 抽象クラス
- セオリー証明
- パラメトライズ
- カリー化
- ラムダ抽象
- アンパラメトライズ
- 反カリー化
- 平坦化
- 等式〈equation〉(2-射)
- 命題〈proposition〉(1-射のときもある)
- 条件〈condition〉
- 制約〈constraint〉
- 表明〈assertion〉
- 判断〈judgement〉
- 事実〈fact〉
- 契約〈contract | コントラクト〉
使う記法
記号 | キーワード |
---|---|
Id | identity construction of |
Src | source signature of |
Trg | target signature of |
and | |
; | then |
▷ | into |
◁ | with |