Sometimes you can express the relevant relationship in the type system. Just add...

lmm on July 14, 2016 | parent | context | favorite | on: The Power of Ten – Rules for Developing Safety Cri...

Sometimes you can express the relevant relationship in the type system. Just adding types to an existing program won't tell you much, but if you work with the type system it's possible to move a lot of your business logic there.