Yes. The more the type-system encodes the more the type-checker (in the compiler...

gsnedders on May 19, 2015 | parent | context | favorite | on: A400M Airbus Flier crashed because of software iss...

Yes. The more the type-system encodes the more the type-checker (in the compiler) proves for you. No matter how much testing you have, nothing will ever come close to proving properties.