[Dok Melody Scratchpad Notes]

feature/multiple-run-times

High level code must be compilable to different run-time engines: PG; C; CL;

Different services and tools should be callable, e.g. code linter; SAT solvers;

Note that many PL had success for the runtime: C is the runtime of Unix; JavaScript in the browser; Bash; EmacsLisp. Dok should be useable for all these run-times, i.e. it is a multiple run-time language.

This is related to paradigm/rich-runtime.

For every operation of a run-time should be possible figure-out or profile the cost, and then optimize it. For example in a DBMS run-time there are the query plans, the slow queries logs, and then one can add indexes and similar things.