Re:Ada's Dependent Types, and Its Types as a Whole
by debugnik on Saturday December 28, 2024 @11:27AM
(#42532111)
End names are optional in Ada, so "fixing" that is just a style guide away. Meanwhile, Scala 3 added named `end` to help with long blocks on its indentation syntax.
[ Parent
| on HN ]
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.