News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.