[mbarbar]

>Building High Integrity Applications with SPARK

What did you think of this book? I'm thinking of picking it up, coming from a non-Ada background.

>I typically enjoy conciseness, and at first I was put off by Ada's verbosity, but then I think my old memory of Pascal clicked and I am enjoying the experience.

Ada is verbose, though is it complex? I've been reading some Ada looking to use it for some projects and I like what I see (SPARK and the type system especially). I just worry about complexity... I use C++ for my work and I hate the language for it's messiness and complexity and the myriad of footguns. So I was just curious what you thought of Ada's complexity coming from a far simpler C (well, I guess the complexity in C is hidden... but I digress).