Types
In Rell, the type system is designed to handle a wide range of data representations and operations. It includes simple types for basic data, complex types for structured data, and collection types for managing groups of values. With support for iterables, virtual types, and subtypes, Rell enables efficient and flexible data manipulation, ensuring robust and reusable code.
Simple types in Rell are fundamental data types used to represent basic kinds of data, forming the foundation for building complex structures.
Complex types in Rell enable structured data representation and advanced features, allowing for sophisticated programming beyond basic types like integers and strings.
Rell provides collection types like lists, sets, and maps to manage grouped data with features such as mutability and constraints on key or element types for structured data handling.
In Rell, iterables unify sequence processing across various data structures, supporting types like ranges, lists, sets, and maps, with optional virtual collection counterparts.
Virtual types in Rell leverage Merkle trees for data integrity and efficient element retrieval, supporting immutable lists, sets, and maps with GTV-compatible constraints.
Subtypes in Rell enhance flexibility by allowing seamless assignment between compatible types, such as nullable types or more specific tuples being subtypes of broader ones.