roussillon-type-system
| Crates.io | roussillon-type-system |
| lib.rs | roussillon-type-system |
| version | 0.4.3 |
| created_at | 2024-06-09 20:31:07.708502+00 |
| updated_at | 2025-02-18 03:47:04.426377+00 |
| description | A type system for a programming language |
| homepage | |
| repository | |
| max_upload_size | |
| id | 1266611 |
| size | 63,693 |
(Trehinos)
documentation
README
Roussillon : Type System
This crate is an incomplete library with a clear goal of helping create a programming language.
This crate provides some structs and traits to manage types and typed values.
This crate goal IS NOT to manage memory allocation.
Type system
Types module
This module offers a way to mark some data with a type.
Primitive types
These are the necessary types to construct any other meaningful type. Usually, these are "machine types" :
- Boolean
- Byte
- Bytes
- Float
- Integer
- Reference
- List
The "tuple" type
- Tuple
Algebraic Data Types
- SumType
- ProductType
Custom types (ADT with an Identifier)
- Enumeration (values are called unions)
- Structure
Functional
- FunctionType
Value module
The value module provides ways to create values from all types in the types module.
The provided constructible values are :
- Boolean
- Bytes (arbitrarily size)
- Byte (8 bits)
- Word (16)
- Quad (32)
- Long (64)
- Wide (128)
- Integer
- Float
- Reference
- List
- Sequence (Tuple values)
- Sum (SumpType values)
- Product (ProductType values)
- Union (Enumeration values)
- Record (Structure values)
- FunctionBody
License
(c) 2024 Sébastien Geldreich
This work is published under the MIT License.