> Ada used to have something of the sort (and still does for all I know). https://docs.adacore.com/spark2014-docs/html/ug/en/tutorial.html#spark-tutorial https

> Ada used to have something of the sort (and still does for all I know). https://docs.adacore.com/spark2014-docs/html/ug/en/tutorial.html#spark-tutorial https://docs.adacore.com/spark2014-docs/html/ug/en/tutorial....