scrambled
scrambled
Concept

Constructor

Modified just now
Books JourneyProgramming Language Theory Statusmastered Tags
  • language-feature-design
  • programming paradigm

INFO

(Programming paradigm, Language feature/design) In languages with closures or prototypes, a function that returns objects of similar shapes.

INFO

(Language feature/design) [Rocq] A value builder in Rocq that introduces inhabitants of an inductive type (like O and S for nat, or Some and None for option), enabling pattern matching and structural recursion.