On 08/05/2013 22:15, Edek wrote:
> Dnia Wed, 08 May 2013 21:18:15 +0100 po głębokim namyśle Andrzej Jarzabek
> rzekł:
>
> No ale jest VM. W tym sensie, że zapewnia istnienie LLVM IR, czyli
> odpowiednika assemblera. Skoro LLVM IR nie chodzi na żadnym prawdziwym
> procesorze tylko jest "assemblerem VM", mamy VM. A że to nie ma nic
> wspólnego z JVM czy .Net to oczywiste, przy czym to zupełnie osobne
> sprawy.

No właśnie VM często się rozumie tak, że to jest środowisko, w którym
"chodzi" ten "assembler". LLVM IR w ogóle na niczym nie "chodzi", tylko
jest normalnie tłumaczone na kod maszynowy.

>> Z innych rzeczy - na pewno jest to interesująca propozycja dla kogoś,
>> kto chce tworzyć DSL-e wykonujące się z dobrą wydajnością (czyli
>> kompilowane). Jakiś czas temu w takim zastosowaniu Roman W pisał o
>> projekcie gdzie taki język był osadzony w Haskellu, co na pewno ma swoje
>> zalety, ale też i wady. LLVM daje (czy zdaje się dawać) rozsądną
>> alternatywę implementowania samodzielnego DSL-a zamiast osadzania.
>
> Czyli jak konkretnie?

Konkretnie na przykład biorąc jakiegoś Antlr-a czy coś podobnego i
generując IR na regulach produkcyjnych.