[ros-users] [Discourse.ros.org] [Next Generation ROS] Design By Contract
Asmodehn
ros.discourse at gmail.com
Thu Aug 17 06:17:47 UTC 2017
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.
More information about the ros-users
mailing list