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 quietbritishjim on Saturday December 28, 2024 @03:29PM (#42534355)
The original point is that there is only one open implementation. This is a link to that one open implementation. You are pushing this conversation around in circles.
[ Parent | on HN ]
Re:Ada's Dependent Types, and Its Types as a Whole by pjmlp on Saturday December 28, 2024 @04:59PM (#42535167)
How many open implementations are there for plenty of other languages, like the main implementations, driving the whole ecosystem, not partial implementations with if and buts?
[ Parent | on HN ]
Re:Ada's Dependent Types, and Its Types as a Whole by CRConrad on Monday December 30, 2024 @05:28AM (#42548110)
How many open implementations are there of Rust?

(Serious question; I genuinely don't know. Always assumed it was about 1, though.)

[ Parent | on HN ]
Re:Ada's Dependent Types, and Its Types as a Whole by pjmlp on Monday December 30, 2024 @06:21AM (#42548360)
Only 1, additionally there are two competing ones based on GCC still WIP, and an alternative backend (Cranelift) without the capabilities LLVM can offer in performance.
[ Parent | on HN ]