Last Updated：2025/12/05
(computer science, type theory) In a functional language, inference of a polymorphic type only for syntactic values (values that can be evaluated at compile time) to ensure that a program is type-safe.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
value restriction
Edit Histories（0）
Source Word
value restriction
Noun
uncountable
Japanese Meaning
コンピュータ科学・型理論において、関数型言語でプログラムの型安全性を確保するため、コンパイル時に評価可能な構文的な値にのみ多相型が推論される制約。（値に対する制限、すなわち『値制限』と呼ばれる）
