The Avail Type System

This series provides a comprehensive treatment of the Avail type system. The series begins with pages that describe the underlying type theory. Each of the remaining pages describes one of Avail's many intrinsic types.

* indicates that the content for this page has not yet been completed.

• Values
• Types
• Type Relations
• Type Compatibility
• Type Parameterization
• Metatypes
• Type Names
• Type Annotations
• Type Inference
• Semantic Restrictions
• Type Lattice
  • ⊤ (top)
  • any
  • type
  • nontype
  • character
  • number
  • double
  • float
  • extended integer
  • tuple
  • string
  • set
  • map
  • function *
  • function implementation *
  • method *
  • definition *
  • method definition *
  • abstract definition *
  • forward definition *
  • macro definition *
  • continuation *
  • fiber *
  • variable *
  • atom
  • boolean
  • object *
  • exception *
  • pojo *
  • token *
  • literal token *
  • phrase *
  • declaration phrase *
  • argument phrase *
  • module constant phrase *
  • local constant phrase *
  • module variable phrase *
  • local variable phrase *
  • label phrase *
  • primitive failure reason phrase *
  • expression phrase *
  • literal phrase *
  • variable use phrase *
  • variable reference phrase *
  • assignment phrase *
  • list phrase *
  • send phrase *
  • block phrase *
  • sequence phrase *
  • module *
  • ⊥ (bottom)