> the process typically used for high-reliability systems. And that's the key. Producing high quality systems is something that is emergent out of a process de

> the process typically used for high-reliability systems. And that's the key. Producing high quality systems is something that is emergent out of a process designed to produce high quality systems (and in fact, you need to have a process for improving the process). What is your process? Has it gone under rigorous examination with an eye towards output quality? Then any quality that results is a happy accident of competent engineers and a particular time and place. Unit tests, types, are simply a small part of how quality is created.