Hacker News Reader

> "theory building"

Strongly agree with your comment. I wonder now if this "theory building" can have a grammar, and be expressed in code; be versioned, etc. Sort of like a 5th-generation language (the 4th-generation being the SQL-likes where you let the execution plan be chosen by the runtime).

The closest I can think of:

* UML

* Functional analysis (ie structured text about various stakeholders)

* Database schemas

* Diagrams

View on HN

Prolog/Datalog with some nice primitives for how to interact with the program in various ways? Would essentially be something like "acceptance tests" but expressed in some logic programming language.

Cucumber-style BDD has been trying to do this for a long time now, though I never found it to be super comfortable.

Like TLA+?

https://lamport.azurewebsites.net/tla/tla.html

Reply on news.ycombinator.com