Reply to post:

After four years, Rust-based Redox OS is nearly self-hosting

Elledan

Ada/SPARK is laughing at your 'safe programming language'.

Show me an OS written in Ada/SPARK and I'll take it seriously. Not this warmed-over, basically-modern-C++-language with worse syntax and a much weaker type system courtesy of inferred typing instead of strong typing.

I guess they expect that this will replace Linux any day now, right? I guess Linus et al better start rethinking their disdain of non-C languages lest they get left behind in the Rust-revolution.

POST COMMENT House rules

Not a member of The Register? Create a new account here.

  • Enter your comment

  • Add an icon

Anonymous cowards cannot choose their icon