3 ms·
CuBit: A General-Purpose Operating System in SPARK/ Ada (2020)
- deleted 2y ago[deleted]
- thisislife2 2y agoI've always wondered why Ada, a commercially successful stable language, never got more popular? And instead people are re-inventing the wheel with something new like Rust ...
- kennysoona 2y agoI think the toolkit was proprietary and expensive until fairly recently, which I'm sure was a factor.
- hakfoo 2y agoI suspect it had a similar reputation as things like Fortran-- the principal use case defined it to such an extent that it prevents a breakout moment. An entire generation assumed "Ada is that weird bulletproof thing defense contractors and nobody else uses." Languages like Rust have benefited from hobbyist showcases-- evangelists building familiar tools and demonstrating "it's more reliable and more understandable" but nobody was doing it for Ada.