[lrvick]

Here is some background on the Haskell situation: https://www.joachim-breitner.de/blog/802-More_thoughts_on_a_...

Ada has had even less progress and I am not aware of any writeups.

TL;DR: Ada and Haskell need to have compilers implemented a language that has a full source bootstrap path such as C, Go, or Rust that implement just enough features to compile the official compilers.

[elbear]

Just curious, are C, Go and Rust and the only viabile languages for an implementation?