3 ms·

> "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. S

> "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

CaptainOfCoit 1y 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 1y 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 1y ago
Like TLA+? https://lamport.azurewebsites.net/tla/tla.html https://lamport.azurewebsites.net/tla/tla.html