> GNAT does. It's part of the GNU Compiler Collection
Yay! :-)
One thing that's probably almost unknown these days is that Objective-<X> was always supposed to be something you can easily add to any <X>, and in fact there were quite a few of these, including Objective-Assembler.
Re:Swift architecture at Uber
by slavapestov on Thursday April 27, 2017 @05:48PM
(#14215031)
Turns out I was quite ignorant of Ada - thanks for the pointers.
But, if you insist:
> Ada does not have parametric polymorphism.
Yes, it does. [1][2] It's supported through the use of generic units.
> Ada does not have ... algebraic data types
Ada does have tagged records, and other variant types, and has had for quite some time. [0] They aren't quite Sum Types, but are incredibly close.
> Ada does not have... Objective-C interoperability
GNAT does. It's part of the GNU Compiler Collection, and as such, can be linked against other languages supported by the toolchain. GCC also supports Objective-C.
[0] http://archive.adaic.com/standards/83rat/html/ratl-04-07.htm...
[1] https://rosettacode.org/wiki/Parametric_polymorphism#Ada
[2] https://en.wikibooks.org/wiki/Ada_Programming/Generics#Param...