Re: What prevents you from using Nim as your main programming language?

[avandy]

I am also a fan of Ada language. The only thing that limits my use of this 
language wherever possible is essentially having a single compiler from Adacore 
(gnat) and a GPL license. I have thoughts to start developing software for a 
specific platform (not x86). This immediately limits the choice of tools. C++ 
is sometimes the easiest, win-win option, the compiler of which is almost any 
platform. Nim in this case can be a very good choice with its C++ 
compatibility. This attracts me very much and that's why I follow the 
development of this language. The movement from GC is also important for me, 
because in my projects the determinism of execution is very important. I would 
like to have more opportunities to write correct and secure code out of the 
box, as in Ada and SPARK (contracts, formal proofs, opportunities for 
restriction of freedom and special imposing of restrictions on coding). The 
bias towards correctness in my opinion can give the language an advantage to 
consolidate in the industrial industry (probably after standardization), the 
rapidly growing direction of IoT and embedded systems.