4 ms·
Is Ada losing ground to dependently typed languages, or are these still too "academic" for production use?
by Xophmeister 10y ago
Is Ada losing ground to dependently typed languages, or are these still too "academic" for production use?
- Raphael_Amiard 10y agoAda as an ecosystem has it's own alternative, SPARK. It's not a dependently typed language, but you can go just as far with it using pre and post conditions, and ghost code, insofar as what you can prove. You can see here for more information: http://www.spark-2014.org/ http://www.spark-2014.org/ http://docs.adacore.com/spark2014-docs/html/ug/en/tutorial.html http://docs.adacore.com/spark2014-docs/html/ug/en/tutorial.h...