The Avail Programming Language

Type Lattice

Avail offers an incredibly rich set of primitive types for the programmer to leverage in the design and construction of software at every level of complexity. It is now time to examine these types in detail.
graph showing overview of lattice of types
‹ Semantic Restrictions | Return to Type System | (top) ›