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 pjmlp on Saturday December 28, 2024 @07:02AM (#42530429)
Not at all, there are 7 Ada compiler vendors still in business.

https://www.adacore.com/

https://www.ghs.com/products/ada_optimizing_compilers.html

https://www.ptc.com/en/products/developer-tools/apexada

https://www.ddci.com/products_score/

http://www.irvine.com/tech.html

http://www.ocsystems.com/w/index.php/OCS:PowerAda

http://www.rrsoftware.com/html/prodinf/janus95/j-ada95.htm

And AdaCore sponsors GNAT, with Ada being one of the few official GCC languages for two decades now.

[ Parent | on HN ]
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 ]
Re:Ada's Dependent Types, and Its Types as a Whole by Agingcoder on Saturday December 28, 2024 @11:03AM (#42531937)
Do they all support the latest standards ?
[ Parent | on HN ]
Re:Ada's Dependent Types, and Its Types as a Whole by pjmlp on Saturday December 28, 2024 @11:21AM (#42532066)
A couple of them do, it isn't as if C and C++ FOSS compilers do as well.

https://en.cppreference.com/

C++23 and C23 are the latest, and there are plenty of missing features from previous standards.

[ Parent | on HN ]