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…