top | item 45424622

(no title)

BenoitP | 5 months 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

discuss

CaptainOfCoit|5 months 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.

dpritchett|5 months ago

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

nonethewiser|5 months ago

Like TLA+?

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