Re:The Power of Ten – Rules for Developing Safety Critical Code
by msoucy on Thursday July 14, 2016 @07:29AM
(#12092909)
Haskell's type system protects from a certain class of bug, but it can't prevent logic errors - something like using < instead of > won't trigger a build error, but it certainly is a bug.
[ Parent
| on HN ]
Re:The Power of Ten – Rules for Developing Safety Critical Code
by lmm on Thursday July 14, 2016 @10:03AM
(#12093840)
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.