[marcosdumay]

Haskell changed way more than C++. I don't think Ada changed a lot.

Still, they are so different from each other that I don't think all that change makes much of a difference.

[flogic]

The paper is dated 94 which is the same year as the original implementation as the C++ STL (https://en.wikipedia.org/wiki/Standard_Template_Library#Impl...). So it's a fair bet they didn't have access to that. I would think the entire difficulty of the exercise would change with that.

[jlarocco]

Ada has had 3 major revisions since 1994. It's changed at least as much as C++.

[nom]

I don't think you can compare the changes between Ada 83/95/2005/2012 to what has happened to C++. The Ada language seems much more stable and backwards compatible to me, and given it's nature, it makes sense to avoid introducing major changes. However, I'm not an Ada expert so correct me if I'm wrong.

[nickpsecurity]

Oh, I bet you can given it's been done in detail more than once. Here's a recent one:

http://www.electronicdesign.com/embedded/c11-and-ada-2012-re...

[doublec]

Not to mention the changes to the SPARK subset of Ada for doing proofs on parts of your code have improved a lot.