Ada

Ada Lovelace (a.k.a. The enchantress of numbers) is considered to be the creator of the first computer program by a lot of people. Whether that’s true or not, The enchantress certainly inspired a group of french developers that came up with Ada, an object-oriented, high-level programming language extended from Pascal. It might not be the most popular language out there but the french team that created it didn’t aim for popularity but security – especially because the language was commissioned by the US Department of Defense, which is where it finds most of its uses. 

Ada is a structured, statically typed, imperative, and object-oriented high-level programming language, extended from Pascal and other languages. It has built-in language support for design by contract (DbC), extremely strong typing, explicit concurrency, tasks, synchronous message passing, protected objects, and non-determinism.