Ada programming language Ada programming language: a structured, statically typed, imperative, and object-oriented high-level computer programming language, extended from Pascal and other languages. Books in this subject area deal with the: a structured, statically typed, imperative, and object-oriented high-level computer programming language, extended from Pascal and other languages.