I've learned Ada at uni - while I didn't appreciate it at that time, probably currently (almost 10 years later) I'd find it more interesting. Fact that your app

I've learned Ada at uni - while I didn't appreciate it at that time, probably currently (almost 10 years later) I'd find it more interesting. Fact that your application doesn't compile if you don't write assertions validating it certainly has gained more appeal to me.