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

Re:Ada's Dependent Types, and Its Types as a Whole by mirashii on Saturday December 28, 2024 @07:19AM (#42530522)

> out in the open

This part was an important part of the sentence you might've missed.

[ Parent | on HN ]

Re:Ada's Dependent Types, and Its Types as a Whole by pjmlp on Saturday December 28, 2024 @09:47AM (#42531378)

https://www.gnu.org/software/gnat/

[ Parent | on HN ]

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 ]