type system feature

C29374 concept

A type system feature is a language construct or mechanism that defines, constrains, or manipulates the types of values and expressions to improve safety, expressiveness, or performance in programs.

Observed surface forms (1)

Instances (4)