Into Unknown

The whole point is that we are going into unknown (yet), so we have to be prepared and equipped with knowledge and tools.

We are trying to formally define and program what we do not know yet, otherwise it would be a useless task.

We have to hack, extract and master the domain specific knowledge - build a hierarchy of adequate concepts (which captures What Is, not what is imagined to be or believed).

Turn a domain knowledge into a simplest mathematical model and then to several layers of formal Domain-Specific Languages or a DSLs.

Then we program using these DSLs embedded into a pure-fucntional programming language, such as Haskell or a pure subset of Ocaml.

It is the domain that is yet unknown, not Math or Haskell.