3 ms·
Data-Driven Programming
- florid 3y ago[flagged]
- 082349872349872 3y agoData is usually amenable to regular boolean logic, whereas code (because it loses information/gains abstraction as it runs) must be handled with intuitionistic logic; to me this sugggests that the more we can express in data instead of code, the easier it will be to prove our programs behave well.