dictionary · eo1.org

value restriction

Fetched 2026-10-26 (cache).

Datamuse reports no synonyms or antonyms for this word.

Noun

  1. {{lb|en|computer science|type theory}} In a functional language, [[type inference|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]].

Source: Wiktionary · CC BY-SA 4.0 (Wiktionary dump) · cached copy, not a rewrite.