News for hackers. Stuff that matters.

A comment on Ada's Dependent Types, and Its Types as a Whole. Parent comment

Re:Ada's Dependent Types, and Its Types as a Whole by pjerem on Saturday December 28, 2024 @07:13AM (#42530492)
In real life you’ll have to deal mostly with code you haven’t wrote yourself.
[ Parent | on HN ]

There are no comments on this comment yet.