But don’t try this on programs!
Wouldn’t it be fantastic if we had the equivalent of the schema calculus on programs?
- Write your error cases separately and then just ? them together
- Write a text editor and a spell checker and integrate them by ?-ing them together
- So you want to build a program that doesn’t blow up a nuclear power plant?
- Just build one that does, and then negate it!
Programs are not logic
- Some classes of programming languages come closer than imperative and OO languages