Názor k článku
Udržitelné programování s Rustem od Calculon - Když už se píše v Adě, proč místo...

Když už se píše v Adě, proč místo kontrol za běhu (runtime checks) nepoužít SPARK? Ten běhové chyby vylučuje a je to v podstatě Ada (rozumná podmnožina).