Hacker News new | ask | show | jobs
by BenoitP 264 days ago
> "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
2 comments
CaptainOfCoit 264 days ago
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.
link
dpritchett 264 days ago
Cucumber-style BDD has been trying to do this for a long time now, though I never found it to be super comfortable.
link
nonethewiser 264 days ago
Like TLA+?

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

link