[LLVMdev] Alice / ML and C--/llvm

[Guillaume FORTAINE]

Hello,

The Mozart-Oz isn't suitable for our project beacause of disappointing 
"raw" performances :


http://shootout.alioth.debian.org/gp4/benchmark.php?test=all&lang=al

http://www.gecode.org/benchmarks.html

I have found a very interesting language :

http://www.ps.uni-sb.de/alice/

Concurrency, logic verification

I found this link : http://www.cminusminus.org with a front-end for ML

Is it possible to do the same thing for llvm.

What is the best framework ? : c-- or llvm

Thank you for your answer,

Best Regards,

              Guillaume FORTAINE