4 ms·
Or replace all with zig.
by revskill 2y ago
Or replace all with zig.
- pjmlp 2y agoZig's safety is at the level of Object Pascal, Modula-2 and similar. Way better than plain old C, yet there are some weaknesses on the armour, and we know better since AT&T's Cyclone project.
- otabdeveloper4 2y agoYes, rewriting all the world's software in boutique untested languages is surely the way to write safe and reliable software. Because, you know, all the crusty idiots writing software before you didn't know about the wonders of syntactic sugar and automatically installed dependencies.
- GoblinSlayer 2y agoToday boutique languages are those that target PDP-7.
- SkiFire13 2y agoI would advice against writing safety critical software in a software that has yet to get a stable release.
- MaxBarraclough 2y agoRight. If you want a safer language than C for your safety-critical embedded code, the obvious choice is Ada. The article even mentions Ada specifically.
- nicce 2y agoUsing Ada efficiently just requires too much $$$ for small projects.
- MaxBarraclough 2y agoWe're talking about developing safety-critical software. C and Ada have their pros and cons, but Zig isn't even in the running.
- lenkite 2y agoHow does one make an REST Service using Ada without paying for frameworks/tools?
- MaxBarraclough 2y agoNo doubt you could implement a modern web API in Ada, but you wouldn't really be playing to Ada's strengths. Ada is more commonly associated with safety-critical embedded work than with web development. Ada Web Server (AWS) [0][1] is Free and Open Source software, but that framework doesn't seem to get much use, and it doesn't inspire confidence that [0] mentions SOAP but doesn't mention JSON. I'm not aware of any proprietary/payware Ada web server solutions. [0] https://www.adacore.com/gnatpro/toolsuite/ada-web-server https://www.adacore.com/gnatpro/toolsuite/ada-web-server [1] https://github.com/AdaCore/aws https://github.com/AdaCore/aws
- rwmj 2y agoAirbus writes all their flight control software in C, but it's not C as you would find in say your Linux distro, more like a tightly controlled subset of C with its own compilers, toolchains and formal verification. So they're already writing it in a different language, just one that superficially looks like C.
- MaxBarraclough 2y agoAirbus do seem to use Ada for some things: • Airbus Chooses GNAT Pro Ada for Development of Unmanned Aerial System https://news.ycombinator.com/item?id=24488986 https://news.ycombinator.com/item?id=24488986 • https://www.adacore.com/press/a350 https://www.adacore.com/press/a350 • https://www.adacore.com/press/airbus-selects-gnatpro-for-vsr700-prototype https://www.adacore.com/press/airbus-selects-gnatpro-for-vsr...
- rwmj 2y agoTotally makes sense to choose Ada (definitely not a new language!) for green field development. But as I understand it, the Airbus flight control systems are millions and millions of lines of "C", and they ain't getting rewritten any time soon or probably ever. However they do invest a lot in toolchains and formal software verification (in Newport, Wales).
- DrNosferatu 2y agoIs Airbus using CompCert? https://en.m.wikipedia.org/wiki/CompCert https://en.m.wikipedia.org/wiki/CompCert
- rwmj 2y agoI believe so, but not the upstream version, via their commercial partner: https://www.absint.com/ https://www.absint.com/