GNAT Training Resources
Back to trainings page
Welcome, you will find all the needed resources for the training.
There are 10 half-day sessions, numeroted 101 to 702, each of which covers part or integrality
of a given subject.
- #101 and #102 - Type system, advanced arrays and records
- #201 - Building programs with GNAT
- #301 - Subprograms for non-tagged types
- #401 and #402 - Program modularity, and visibility control
- #501 - Tagged types love/hate relationship with Ada
- #601 - Idiomatic Ada: Advanced Access, intro to limited, genericity
- #701 and #702 - Extending Ada: FLI, DbC, SPARK (and tasking intro)
If you have any question you can contact me on slack through the #internal-gnat-ada-training channel :)
Copyright 2023, AdaCore