[Main website]


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.