Tag: type theory 「動的型つき」の言語を「型なし」と呼ぶのはおかしい，のか？ Twitter（現・X）でのこの種の定期イベントはそろそろやめにしないか Dependent Types と Refinement Types の違い Dependent Types (依存型) と Refinement Types (篩型) は目指すところは似ているが, 導入スタイルに根本的な違いがある.
Dependent Types と Refinement Types の違い Dependent Types (依存型) と Refinement Types (篩型) は目指すところは似ているが, 導入スタイルに根本的な違いがある.