Theme-D - Extending Scheme with Static Typing
Briefly

All values of Theme-D variables are objects which have a runtime type defined by classes, influencing how they can be used and manipulated.
User-defined classes specify object fields, thus giving shape to the data an object can hold, while built-in classes such as <integer> and <string> provide foundational types.
Classes like <object> and <class> support inheritance, allowing for a structure where classes can extend functionality, while other built-in types maintain immutability.
Types extend the concept of classes, as they include unions, enhancing the flexibility of how objects can be related to each other through inheritance.
Read at CodeProject
[
|
]