1. 12
  1. 4

    Interesting … I notice that most of the papers are co-authored by Simon Peyton Jones, who is IIRC one of the creators of Haskell(?)

    [After skimming one of the papers] This seems like a great idea. This project clearly predated LLVM, but C— could still be a good abstraction layer between a compiler front-end and LLVM. Admittedly I haven’t used the LLVM C++ API, but I’ve looked at it; I’m guessing that in many cases it would be simpler to emit C— code. And obviously more portable, for compilers not implemented in C++.

    1. 10

      Haskell’s GHC uses a fork of C– as a backend, IIRC as an IR before LLVM.

    2. 2

      This website is wildly out-of-date (and among the pages is a note that many of the links have been broken since 2008). I found this archive of Quick C–; is anyone aware of up-to-date links to code for any other pieces of C– (if there are any? I’m struggling to find if there are others…)?

      All the best,

      1. 3

        Descendants of C++ are still alive in both GHC and OCaml. It’s just that C– didn’t survive as an independent project and Quick C–/GHC version/OCaml version diverged.

        1. 2

          From what I can tell it’s not that the website is out of date, it’s just that the project has been abandoned and nothing’s happened since the website was last updated. I just submitted it because it looked like an interesting project with some cool ideas.