Skip to content
scrambled
Programming Language Theory Concept

Polymorphic type system

Books JourneyProgramming Language Theory Statuslearning Tags
  • language feature design
  • programming paradigm
  • type theory

A type system that allows types to contain variables (like List<T>, ∀ a. a → a), enabling one definition to work across many types through type abstraction.

A type system that allows types to contain variables (like List<T>, ∀a. a -> a), enabling one definition to work across many types through type abstraction.