[quote="asmodehn, post:14, topic:2405"] Contracts aim is to enforce complex dynamic properties of a system. Types aim is to enforce simple (usually) static properties of a system. [/quote] That summarizes the difference between types and contracts. And that ist exactly about why I didn't propose types here: In my Experimente the hard to find defects tend to have their root cause in implicit, incomplete or missing definitions of the dynamic charachteristics of here in ROS, node Interactions. --- [Visit Topic](https://discourse.ros.org/t/design-by-contract/2405/17) 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: