[bitc-dev] C--- and LLVM

[Sandro Magi]

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" <shap at eros-os.org> 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
> bitc-dev at coyotos.org
> http://www.coyotos.org/mailman/listinfo/bitc-dev