The Avail Programming Language


any is the practical abstract root of the Avail type lattice. It is the second most senior type, inferior only to . It includes every value available to an Avail program. The only value that is not an instance of any is the unexposed special value nil.

any is made extremely useful by semantic restrictions. Many algorithms can be codified once in terms of any, or some type parameterized by any, and then strengthened via a semantic restriction that extrapolates a stronger result type from the argument types.

any is the most general type that may appear in the following contexts:

(top) | Return to Type System | type