Skip to content
scrambled
Programming Language Theory Concept

Infinite type

Books JourneyProgramming Language Theory Statusreviewing Tags
  • language feature design
  • type theory

A type that has infinitely many inhabitants (like nat, string, or list), as opposed to finite types like bool or enums with fixed members.

A type that has infinitely many inhabitants (like nat, string, or list), as opposed to Finite types like bool or enums with fixed members.