Remix.run Logo
jll29 2 days ago

The DOD could easily have organized Ada hackathons with a lot of prize money to "make Ada cool" if they had chosen to in order to get the language out of the limelight. They could also have funded developing a free, open source toolchain.

jandrese 2 days ago | parent | next [-]

Ada would never have been cool.

Ironically I remember one of the complaints was it took a long time for the compilers to stabilize. They were such complex beasts with a small userbase so you had smallish companies trying to develop a tremendously complex compiler for a small crowd of government contractors, a perfect recipe for expensive software.

I think maybe they were just a little ahead of their time on getting a good open source compiler. The Rust project shows that it is possible now, but back in the 80s and 90s with only the very early forms of the Internet I don't think the world was ready.

skepti3 2 days ago | parent [-]

Out of curiosity:

1: If you had to guess, how high is the level of complexity of rustc?

2: How do you think gccrs will fare?

3: Do you like or dislike the Rust specification that originated from Ferrocene?

4: Is it important for a systems language to have more than one full compiler for it?

jandrese 2 days ago | parent [-]

Given how much memory and CPU time is burned compiling Rust projects I'm guessing it is pretty complex.

I'm not deep enough into the Rust ecosystem to have solid opinions on the rest of that, but I know from the specification alone that it has a lot of work to do every time you execute rustc. I would hope that the strict implementation would reduce the number of edge cases the compiler has to deal with, but the sheer volume of the specification works against efforts to simplify.

skepti3 2 days ago | parent | prev | next [-]

> They could also have funded developing a free, open source toolchain.

If the actual purpose of the Ada mandate was cartel-making for companies selling Ada products, that would have been counter-productive to their goals.

Not that compiler vendors making money is a bad thing, compiler development needs to be funded somehow. Funding for language development is also a topic. There was a presentation by the maker of Elm about how programming language development is funded [0].

[0]: https://youtube.com/watch?v=XZ3w_jec1v8

adolph 2 days ago | parent [-]

Is the Gnat compiler not sufficiently free and open source? It does not fulfill the comment calling for "toolchain" however.

Edit: Thanks for that video. It is an interesting synthesis ad great context.

p_l 2 days ago | parent | prev [-]

GNAT exists because DoD funded a free, open source toolchain.