Haskell is migrating away from their C-- backend, and they also have a new LLVM backend which is generating quite a bit of buzz. With Haskell, OCaml, and ATS bindings, LLVM is the backend of choice.
I'm not too concerned about the unsafe language behind LLVM, as there wasn't much choice at the time for domains LLVM is used. If it truly becomes a concern, some intrepid PhD candidate will devise an LLVM pass or two that verifies some properties of the generated code ala TALx86 or PCC. Sandro On 2010-03-10, at 22:03, "Jonathan S. Shapiro" <[email protected]> wrote: > Just went back to see what the state of C-- is these days. > Regrettably it seems like something we shouldn't use, for two reasons: > > 1. The discussion list is nearly idle. > 2. The only current implemenation relies on ML, which seems like a > bad dependency for us. > > LLVM, by contrast, is alive, well, and implemented in an unsafe > language. Oh well. > > shap > _______________________________________________ > bitc-dev mailing list > [email protected] > http://www.coyotos.org/mailman/listinfo/bitc-dev _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
