paradigm/rich-runtime
Dok paradigm is based on:
- analysis of high-level code
- produce code that send “commands” to run-time objects like DBMS tables, indexes, complex datastructures
- everyone of these objects has rich run-time fetaures and properties
- complex run-time behaviour is achieved using the proper data-structure with the proper behaviour
- Dok can document informally and formally this, adding type constraints, contracts, DbC, and so on
- the final system is a composition of run-time macro elements
Examples of rich-runtime objects: LMDB, Judy, Immer immutable data structures, Erlang Actors, etc…
This is related to feature/multiple-run-times.