Yes, it has generics. The syntax is Pascal-like, which some people used to C-family languages dislike but I personally find nice. Performance can definitely mat

Yes, it has generics. The syntax is Pascal-like, which some people used to C-family languages dislike but I personally find nice. Performance can definitely match performant C code. (intended use cases include real-time systems and embedded devices) The language overview can be found here: https://docs.adacore.com/spark2014-docs/html/ug/en/spark_2014.html https://docs.adacore.com/spark2014-docs/html/ug/en/spark_201...