類義語と標準用語 同義語集約

車輪の同時発明／再発明 目眩がする - (新) 檜山正幸のキマイラ飼育記 メモ編の続き

ほぼ同義語：

• 指標
  • 型クラス
  • インターフェイス
  • スキーマ
  • 型コンテキスト
  • 仕様
  • 公理系
  • セオリー・インターフェイス
  • 構造体型
  • （OBJ系）モジュール
  • 型コンテキスト
  • コンセプト
  • トレイト？
• ストラクチャ
  • {ソフト}?実装
  • 構造体
  • 名前値ペアセット（JSONオブジェクト）
  • 型インスタンス
  • レコード
  • クラス〈実装クラス〉
  • データベース・タプル〈行〉
  • 代数
  • {ソフト}?モデル
• コンストラクション
  • ファンクタ
  • モジュール
  • アダプタ
  • トランスフォーマー（一時使っていた）
  • 抽象クラス
  • セオリー証明
• パラメトライズ
  • カリー化
  • ラムダ抽象
• アンパラメトライズ
  • 反カリー化
  • 平坦化
• 等式〈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