Re: SI Units Checked and Unchecked

["Dan'l Miller" <optikos@verizon.net>]

On Thursday, August 9, 2018 at 9:31:38 AM UTC-5, AdaMagica wrote:
> Am Donnerstag, 9. August 2018 15:47:47 UTC+2 schrieb Dan'l Miller:
> > I would be interested in a summary (or even better, an AI) that itemizes all the core-language
> > obstacles in currently-standardized Ada to moving all the incompatible usages of units to be
> > compile-time errors instead of raising exceptions.
> 
> Dan'l, just go to
> http://www.christ-usch-grein.homepage.t-online.de/Ada/Dimension/Dimension.html
> there you'll find a summary of attempts to use dimensional arithmetics in Ada.

Thank you!  (for both the webpage's useful analysis as well as the link to it)  This will be worth studying deeply.  I am always looking for why C++ ever pulls ahead of Ada on some strong-typing topics.  Compile-time enforcement of units of measure is one of them.  Meticulous typing (especially compile-time enforcement of strong typing) is supposed to be Ada's crowning achievement; C++ or any recent upstart language (e.g., Rust) is not supposed to be able to threaten to usurp the throne from the king on typing-enforcement topics.

(C++ gets an “Oh, nevermind, go forth & prosper” response from me when I track a capability down to needing a Turing-complete template engine to enact the capability only via metatemplate-programming functional-language interpreter in the compiler.  Ada2027 needs a bona fide Turing-complete compile-time source-code generator, not Turing-complete generics as a poor-man's substitute, as C++ has.)