You are viewing a single comment's thread from:
RE: Learning Ada 1: Hello world, basic greeter package, citing contract based programming, aspects, SPARK…
Based on what I've already seen, I can say the Ada's type system is some kind of central part of the design to give tools for writing more reliable and safe software. I don't know of other languages which allow for so detailed “domain” definition through types!