News for hackers. Stuff that matters.
Re:Ada's Dependent Types, and Its Types as a Whole by ajdude on Saturday December 28, 2024 @09:12AM (#42531159)
For me it's the other way around, I can skim a program written in Ada and figure out what it's doing almost the immediately because it is highly structured and enforces correctness with no ambiguity through its syntax.

I can't really do the same for rust which tends to lend itself into a more confusing format.

There are no comments on this comment yet.