Hallo Albert, <div><br></div><div>thanks!</div><div><br clear="all">best regards<br>--<br>Valery A.Khamenya<br>
<br><br><div class="gmail_quote">On Tue, Sep 14, 2010 at 9:32 AM, Albert Graef <span dir="ltr"><<a href="mailto:Dr.Graef@t-online.de">Dr.Graef@t-online.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

<div class="im">Valery Khamenya wrote:<br>
> are there any attempts to use LLVM in graph-rewriting (term-rewriting)<br>
> language implementations?<br>
<br>
</div>Pure is a dynamically typed FPL based on term rewriting:<br>
<br>
<a href="http://pure-lang.googlecode.com/" target="_blank">http://pure-lang.googlecode.com/</a><br>
<br>
It uses the LLVM JIT to compile and execute code on the fly in an<br>
interpreter-like environment, and can also batch-compile code to native<br>
executables. This includes the deterministic (non-backtracking) tree<br>
matching automata needed to implement general term rewriting in an<br>
efficient manner.<br>
<div class="im"><br>
> How good is LLVM for this?<br>
<br>
</div>There haven't been any other implementations of Pure compilers so that I<br>
can't give you a real comparison. What I can say with confidence is that<br>
LLVM made developing a code generator for Pure very convenient, because<br>
of the readily available optimization passes, cross-platform support and<br>
the integrated JIT.<br>
<div class="im"><br>
> E.g., is it natural to expect that the LLVM-based implementation of the<br>
> language Concurrent Clean be any faster than its reference implementation?<br>
<br>
</div>You should probably get in touch with David Terei. His LLVM ghc backend<br>
seems to be doing fairly well:<br>
<a href="http://donsbot.wordpress.com/2010/02/21/smoking-fast-haskell-code-using-ghcs-new-llvm-codegen/" target="_blank">http://donsbot.wordpress.com/2010/02/21/smoking-fast-haskell-code-using-ghcs-new-llvm-codegen/</a><br>


<br>
Albert<br>
<font color="#888888"><br>
--<br>
Dr. Albert Gr"af<br>
Dept. of Music-Informatics, University of Mainz, Germany<br>
Email:  <a href="mailto:Dr.Graef@t-online.de">Dr.Graef@t-online.de</a>, <a href="mailto:ag@muwiinfa.geschichte.uni-mainz.de">ag@muwiinfa.geschichte.uni-mainz.de</a><br>
WWW:    <a href="http://www.musikinformatik.uni-mainz.de/ag" target="_blank">http://www.musikinformatik.uni-mainz.de/ag</a><br>
</font></blockquote></div><br></div>