Paul Jarrett

Learn Ada’s unique perspective on expressing problem domain and systems programming concepts, and how you can borrow powerful ideas to improve your next program.

We’ll explore how Ada’s open source ecosystem has modernized over the past five years to deliver a modern development experience.

This talk covers how Ada handles types, encapsulation, and pointer types differently, along with its representation of scope-based resources, sum types, and tasks. You’ll see how Ada makes calling C functions safer, supports automatic ordered initialization, and enables creating and sharing formally verified and other libraries through the Alire package manager.