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.
I can't really do the same for rust which tends to lend itself into a more confusing format.