News for hackers. Stuff that matters.

A comment on Ada's Dependent Types, and Its Types as a Whole. Parent comment

Re:Ada's Dependent Types, and Its Types as a Whole by Jtsummers on Sunday December 29, 2024 @12:49PM (#42541501)
Do you have a source for that? I've found his remarks on Pascal and C++ but not Ada.
[ Parent | on HN ]
Re:Ada's Dependent Types, and Its Types as a Whole by ksec on Monday December 30, 2024 @12:06AM (#42546651)
Linus' opinion on Ada (vs Rust):

> We've had the system people who used Modula-2 or Ada, and I have to say Rust looks a lot better than either of those two disasters.

https://www.infoworld.com/article/2247741/linux-at-25-linus-...

[ Parent | on HN ]