Lessons
Ada · Easy
Ada · Easy. Ten lessons. Open-book quizzes. Lesson 1 free.
10 lessons · The Host · Lesson 1 free
Pass all ten lessons for the certificate. Sample · Claim

Lesson 1 · On the house
Packages: spec and body
Split interface from implementation with package specs (.ads) and bodies (.adb).

Lesson 2
Private types
Hide representation with private and limited private types and expose only operations.

Lesson 3
Access types
Pointers with access, new, null, all, Unchecked_Deallocation, and linked lists.

Lesson 4
Generics
Generic subprograms and packages with type and subprogram parameters, and instantiation.

Lesson 5
Tagged types and dispatching
Object-oriented Ada: tagged records, extension, overriding, class-wide types, and dynamic dispatch.

Lesson 6
Discriminated and variant records
Records parameterized by discriminants, variable-length fields, and variant parts.

Lesson 7
Standard containers
Ada.Containers.Vectors, Ordered_Maps, iteration, and cursors.

Lesson 8
Contracts
Pre and Post conditions, Type_Invariant, Static_Predicate, and Assertion_Policy.

Lesson 9
Text and file I/O
Create, write, reopen, and read files line by line with Ada.Text_IO.

Lesson 10
Operator overloading
Define "+", "*", "=", and "<" for your types, plus use type clauses.
Sample certificate
Certificate of completion
Sign in to claim your certificate of completion.
Certificate
Finish all ten lessons, then sign in
Pass every lesson on this device (quizzes and checks). Then sign in or create an account to type your name and download the JPG.