3 ms·
Just encode your business logic in types first! Coq, Idris, or F* will certainly get the job done for you! /s
by tossandthrow 2y ago
Just encode your business logic in types first! Coq, Idris, or F* will certainly get the job done for you!
/s
- anonzzzies 2y agoYes, you do if you want to make money on decades timescales instead of some grifter vc 2 year thingy.
- mananaysiempre 2y agoUnfortunately you end up selling your stuff to people building missiles and bombs that way—witness CompCert and Frama-C.
- anonzzzies 2y agoNot us, but yes, you have a point.