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.
If you do not want to receive messages from ros-users please use the unsubscribe link below. If you use the one above, you will stop all of ros-users from receiving updates.
______________________________________________________________________________
ros-users mailing list
ros-users@lists.ros.org
http://lists.ros.org/mailman/listinfo/ros-users
Unsubscribe: <
http://lists.ros.org/mailman//options/ros-users>
(text/plain)