Not The Same Thing

So you want to write an operating system. In C, you're a friendly neighborhood developer making something functional. In Ada, you've ascended to a different plane of existence where you commune with the Department of Defense and argue about type safety at 3 AM.

Ada was literally designed for mission-critical systems where failure means someone dies or a billion-dollar satellite becomes space debris. Writing an OS in Ada means you're either working on military-grade avionics or you've achieved peak masochism. The language will yell at you for breathing wrong, but hey, at least your kernel won't have buffer overflows.

C lets you shoot yourself in the foot with pointers. Ada makes you fill out a 47-page form explaining why you need a foot before considering your request.