Hacker News new | ask | show | jobs
by musicale 1075 days ago
;-) Ada's advantages such as memory safety, concurrency model, range types, exception handling, pre/postconditions and invariants, etc. seem even more valuable now compared to C. Ada's memory-safe string handling seems like a very good idea vs. C.

Ada Minix sounds like it was an interesting exercise - I'd like to see more OS kernels written in memory safe languages.