Ada programnyelv

Rövid szöveges bemutatás: 
A Babbage-féle Analitikus Gép (Analytical Engine) volt az első, mely címezhető memóriájával, tárolt programjával és feltételes ugrásaival univerzális számításokra volt alkalmas. Ada Lovelace, Babbage kolléganője, Lord Byron költő lánya volt talán a világ első programozója. (Az Ada programozási nyelv róla kapta a nevét.) Ada programokat írt a befejezetlen Analitikus Gépre, sőt azon is spekulált, hogy a gép sakkjátékra vagy zenekomponálásra is képes lehet. Magáról a nyelvről: Az Ada egy strukturált, típusos, blokkszerkezetes, imperatív, általános célú programozási nyelv. Sokban hasonlít a C illetve C++ nyelvekre, és az egyik legbiztonságosabb a típusokon alapuló programozási nyelvek között. Az Ada által támogatott egyszerű adattípusok között van többféle szám-típus, igaz-hamis típusok, karakterek, hivatkozások és felsorolások. A tömbök, rekordok (struktúrák) és karakterláncok az Ada összetett típusai. A biztonságon levő hangsúllyal nem meglepő, hogy az Ada egy erősen típusos nyelv: minden adatelemet előre definiálni kell egy bizonyos típusú vagy altípusúként, valamint folyamatos a típusellenőrzés a modulok között és azokon belül is.