Re:Ada's Dependent Types, and Its Types as a Whole
by com2kid on Saturday December 28, 2024 @11:59AM
(#42532370)
It was considered verbose years ago but now days it is IMHO better than messy C++ templates or Rust syntax.
[ Parent
| on HN ]
There are no comments on this comment yet.