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 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 ]