3 ms·
That's like saying that motor-driven vehicles are not for common use an that your vehicle could and should be driven by a horse.
by tempodox 3y ago
That's like saying that motor-driven vehicles are not for common use an that your vehicle could and should be driven by a horse.
- Linell 3y agoHow?
- RGBCube 3y agoIf it was easier to use, manouver and maintain a horse, your claim would be true.
- eterevsky 3y agoSorry I wasn't clear. I didn't mean to imply that languages with formal verification are inherently worse than those without it. To the contrary, if a language would have formal verification in addition to all the features and an ecosystem of a modern language, I would gladly use it. My point is that for most use cases formal verification by itself is less important than all the other stuff.
- tempodox 3y agoI understand, and I concur.