This talk will introduce the Ada programming language to people used to more classical, weak-typed languages.

We will focus on how Ada uses its strong typing basis to prevent the most common programming errors at the language level, allowing the compiler to check them before they cause problems.