Ada's Dependent Types, and Its Types as a Whole

Re:Ada's Dependent Types, and Its Types as a Whole by LtWorf on Saturday December 28, 2024 @03:00AM (#42529393)

rust is in the kernel to attract the young developers, which ada does not.

[ Parent | on HN ]

Re:Ada's Dependent Types, and Its Types as a Whole by Lucretia9 on Sunday December 29, 2024 @09:57AM (#42540320)

GetIntoGamedev is not old, he's in his 20's. The issue is, is that people are not prepared to trying something if it doesn't look like C or C++.

[ Parent | on HN ]

Re:Ada's Dependent Types, and Its Types as a Whole by LtWorf on Monday December 30, 2024 @04:34AM (#42547910)

But he's one. See how many people are jumping on the rust bandwagon…

[ Parent | on HN ]