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

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 ]