logo

docLang

Fundamentals

Namespace pod::type.slot namespace structure
Literals syntax for literal types
Expressions syntax for expressions
Statements syntax for statements
Exceptions exception handling

Type System

TypeSystem static/dynamic hybrid type system
CompilationUnits organization of source code
Classes creating class types
Mixins creating mixin types
Enums creating enum types
Slots slot model
Methods deep dive into method slots
Fields deep dive into field slots
Inheritance rules for slot inheritance
DynamicTypes generating types at runtime

Functions

Functions functional programming
Closures deep dive into closures

Advanced

Serialization reading/writing objects
Facets annotating types and slots with meta-data
Concurrency model for sharing data between threads
Threading working with threads and message passing
TypeDatabase indexing and querying installed types
Logging logging APIs
Localization localization APIs

Appendix

Grammar formal BNF syntax grammar

TODO

Resources
Natives