Re:Ada's Dependent Types, and Its Types as a Whole
by crabbone on Saturday December 28, 2024 @12:46PM
(#42532785)
Like in all such discussions: the problem isn't with what you write, but with what you read. There are tons of Ada code that's already written like that. So, future changes to the style guide aren't going to do much. Also, nobody's changing that anyways.
[ Parent
| on HN ]
There are no comments on this comment yet.