Ada

just discovered this language (Ada) and am thinking of learning it, it looks like it would be a very good language to make some small projects

what does /prog/ think?

>Ada is this weird Martian version of Pascal that also reminds me of Haskell in many ways.

the reason Ada reminds you of Haskell is that it has very strong type checking. Ada has a lot of other very special features like it does what the syntax says it will do unlike C/C++ that leaves you guessing what the actual result the syntax will produce. And unlike C# or Java it does not require you to program using OOP nor does it run on a VM.

the choice is yours