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 mentalgear on Saturday December 28, 2024 @05:35AM (#42530028)
Ideally, Rust would start adopting excellent features like Ada's SPARK, and vice-versa Ada get inspired by Rust's good parts as well.
[ Parent | on HN ]

There are no comments on this comment yet.