Che cos'è una buona macchina virtuale per lo sviluppo di una lingua per hobby?

Question

Sto pensando di scrivere la mia piccola lingua.

Ho trovato alcune opzioni, ma non esitate a suggerire di più.

• JVM
• Parrot
• OSA

Un sacco di lingue stanno usando la JVM, ma a meno che non si scrive un linguaggio Java-ish, tutta la potenza che stdlib dà sta per sentirsi brutti; Non è molto buono anche nelle cose dinamiche.

Parrot sembra una buona macchina virtuale per lo sviluppo di lingue, ma ha un odore di progetto abbandonato/incompiuto/hobby ad esso.

L'OSA è ciò che alimenta Applescript, non una VM particolarmente nota, ma io uso Mac e offre una buona integrazione di sistema.

CLR + Mac non sembra una buona combinazione ...

La mia lingua sarà un oggetto orientato funzionale linguaggio a flusso di dati in concomitanza con la tipizzazione forte e un mix di Python e la sintassi Lisp. Sembra buono, eh?

[modifica]
Ho accettato Python per ora, ma mi piacerebbe saperne di più su OSA e Parrot.

Answer 1

Un approccio con cui ho giocato è quello di utilizzare il modulo Python ast per creare un albero di sintassi astratto che rappresenta il codice da eseguire. La funzione Python compile può compilare un codice AST in bytecode Python, che può quindi eseguire exec. Questo è un po 'più alto rispetto al generare direttamente bytecode, ma dovrete affrontare alcuni aspetti del linguaggio Python (ad esempio, la differenza fondamentale tra istruzioni ed espressioni).

Nel fare ciò ho anche scritto un modulo "deparse" che tenta di convertire un AST in codice sorgente Python equivalente, solo per il debug. Se sei interessato, puoi trovare il codice nel repository psil.

Answer 2

• Lua ha un piccolo, ben scritto e veloce VM
• Python VM - si può davvero attaccare un nuovo linguaggio ad esso se si vuole. Oppure scrivi (usa?) Qualcosa come tinypy che è una piccola e semplice implementazione della VM Python.

Entrambe le opzioni sopra hanno accesso a utili librerie standard che ti faranno risparmiare lavoro e sono codificate in C relativamente pulite e modulari, quindi non dovrebbero essere difficili da connettere.

Detto questo, non sono d'accordo sul fatto che Parrot sia abbandonato/hobby. È abbastanza maturo e ha degli sviluppatori molto forti che ci lavorano. Inoltre, è specificamente una VM progettata per essere indirizzata da più linguaggi dinamici. Pertanto, è stato progettato pensando alla flessibilità.

Answer 3

Dai un'occhiata allo LLVM. Non è una VM pura in quanto tale, più un framework con il suo IR personale che ti permette di costruire macchine virtuali di alto livello. Ha cose belle come l'analisi del codice statico e supporto JIT

Answer 4

Avete considerato Pypy?Da quello che ho letto, oltre ad essere un compilatore JIT Python, ha anche la capacità di gestire altre lingue. Per esempio c'è a tutorial che spiega come creare un compilatore JIT Brainfuck usando Pypy.