Abstract types are used to describe polymorphic functions, otherwise known as “generic functions,” which can be called on a broad range of types.
A generic type.
It is a placeholder used in cases where no specific type requirements are needed, such as defining polymorphic parameters in functions and operators.
An abstract base scalar type.
All scalar types are derived from this type.
An abstract base enumerated type.
enum types are derived from this type.
A generic tuple.
anytype, this type is used to denote a generic
tuple without detailing its component types. This is useful when defining
polymorphic parameters in functions and operators.
These abstract numeric types extend
There are some types that can be used to construct ranges. These scalar types are distinguished by the following abstract types: