RE: Learning Ada 1: Hello world, basic greeter package, citing contract based programming, aspects, SPARK…

You are viewing a single comment's thread from:

Learning Ada 1: Hello world, basic greeter package, citing contract based programming, aspects, SPARK…

in ada-lang •  7 years ago 

It's good to see a bit of interest in Ada. I really think it has some nice features to it that disappeared from languages that came after it (aside from some functional languages). I am mainly thinking of the type system when I say that.

I will be interested to see what you think of it once you get there.

Authors get paid when people like you upvote their post.
If you enjoyed what you read here, create your account today and start earning FREE STEEM!
Sort Order:  

Based on what I've already seen, I can say the Ada's type system is some kind of central part of the design to give tools for writing more reliable and safe software. I don't know of other languages which allow for so detailed “domain” definition through types!