Re:Ada's Dependent Types, and Its Types as a Whole
by Ygg2 on Saturday December 28, 2024 @07:22AM
(#42530546)
For Rust and Ada in Kernel they need to be accepted by kernel maintainers.
And seeing they can't stand Rust, when its constraints are much weaker than say Ada.Spark what chances does it have?
To paraphrase some computer science guru: The cyclical nature of programming languages is all to blame on collective programmers. Rather than being guided by mathematic rigour, they are guided by a fashion sense.
And seeing they can't stand Rust, when its constraints are much weaker than say Ada.Spark what chances does it have?
To paraphrase some computer science guru: The cyclical nature of programming languages is all to blame on collective programmers. Rather than being guided by mathematic rigour, they are guided by a fashion sense.