[ros-users] [Discourse.ros.org] [Next Generation ROS] Design By Contract

[Asmodehn]

Types/Contracts : In my mind, 'Design by Contract' was an informal concept/practice introduced a few years ago because type systems of most languages at that time was insufficient to guarantee correct program behavior. But it is fundamentally the same thing...
Except that we have researched [type theory](https://en.wikipedia.org/wiki/Type_theory) for a while now, whereas '[contract theory](https://en.wikipedia.org/wiki/Contract_theory)' is probably not what you would expect after learning about DbC...

These days I am following [dependent types](https://en.wikipedia.org/wiki/Dependent_type) and [experiments](http://events.techcast.com/bigtechday9/barcelona-0900/?q=barcelona-0900) to [bring them](https://www.thestrangeloop.com/2015/idris-practical-software-verification-with-dependent-types.html) [into distributed systems](https://journals.agh.edu.pl/csci/article/view/1413/1753).





---
[Visit Topic](https://discourse.ros.org/t/design-by-contract/2405/16) or reply to this email to respond.