docLang

Fundamentals

Structure	pod::type.slot program 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
Namespaces	URI naming system
TypeDatabase	indexing and querying installed types
Logging	logging APIs
Localization	localization APIs

Appendix

formal BNF syntax grammar

TODO