3 ms·
Isn’t this just Design By Contract from Eiffel just in another form?
by wombatpm 1y ago
Isn’t this just Design By Contract from Eiffel just in another form?
- Jtsummers 1y agoNo, range types are at best a very limited piece of DbC. Design by Contract lets you state much more interesting things about your program. It's also available in Ada, though. https://learn.adacore.com/courses/intro-to-ada/chapters/contracts.html https://learn.adacore.com/courses/intro-to-ada/chapters/cont...