https://fosdem.org/2025/schedule/event/fosdem-2025-5356-the-state-of-rust-trying-to-catch-up-with-ada/

fosdem-2025

  * Home
  * About
  * News
  * Schedule
  * Stands
  * Volunteer
  * Practical
  * Search: [                    ]

Brussels / 1 & 2 February 2025

schedule

  * News
  * Sponsors
  * Contact

  * FOSDEM 2025
  * /
  * Schedule
  * /
  * Events
  * /
  * Developer rooms
  * /
  * Ada
  * /
  * The state of Rust trying to catch up with Ada

The state of Rust trying to catch up with Ada

  * Track: Ada
  * Room: UB2.147
  * Day: Sunday
  * Start: 11:00
  * End: 11:20
  * Video only: ub2147
  * Chat: Join the conversation!


Ada has held its own in the safety critical space for just over 4
decades. Over the last 10 years Rust has pushed into the same space
with varying success. Among other features, most notably Rust is
missing the powerful declarations and convenience of use of subtypes.
In this talk I will go into the various features that make Ada so
useful for ensuring the absence of bugs, and where Rust stands on
each of these features.

Speakers

Photo of Oli Scherer Oli Scherer

Attachments

  * pdf transcript of presentation

Links

  * Introduction PR of pattern types
  * This presentation on hackmd
  * Video recording (AV1/WebM)
  * Video recording (MP4)
  * Video recording subtitle file (VTT)
  * Chat room(web)
  * Chat room(app)
  * Submit Feedback

FOSDEM

  * Home
  * News
  * About
  * Sponsors
  * Donate
  * FAQ
  * Archives

This year

  * Schedule
  * Stands
  * Certification exams
  * Volunteer
  * Fringe

Practical information

  * Accessibility
  * Code of Conduct
  * During the Event
  * COVID-19 policy

Media and press

  * Social media

fosdem-2025

Brussels / 1 & 2 February 2025

This work is licensed under the Creative Commons Attribution 2.0
Belgium Licence.
To view a copy of this licence, visit http://creativecommons.org/
licenses/by/2.0/be/deed.en
or send a letter to Creative Commons, 444 Castro Street, Suite 900,
Mountain View, California, 94041, USA.
All content such as talks and biographies is the sole responsibility
of the speaker.