Costruire il proprio interprete che può funzionare come compilatore

Question

È possibile costruire il mio interprete che potrebbe essere trasformato in un compilatore? Se sì, come faccio a costruirlo?

Answer 1

Questo è chiamato Second Proiezione Futamura. È stato descritto per la prima volta da Prof. Yoshihiko Futamura nel suo documento del 1971 Partial Evaluation of Computation Process – An approach to a Compiler-Compiler (Japanese), un numero English version di cui è stato ripubblicato 28 anni dopo.

Utilizza Partial Evaluation, valutando parzialmente lo stesso valutatore parziale rispetto all'interprete, ottenendo così un compilatore.

Quindi, sono necessari due ingredienti: un interprete per la lingua di destinazione, scritto in una lingua ospite (che può o non può essere uguale alla lingua di destinazione) e un valutatore parziale in grado di valutare sia l'interprete che se stesso, in altre parole, ha bisogno di valutare parzialmente la lingua ospite e ha bisogno di essere scritta nella lingua ospite che può valutare.

Answer 2

Una valutazione parziale già citata è uno dei possibili metodi (uno molto intenso dal punto di vista computazionale, ma piuttosto generico dall'altro). Un altro approccio è la metaprogrammazione: se un interprete di una lingua viene implementato in una forma di un semplice traduttore che si rivolge a un altro linguaggio interpretato, è molto facile re-targetizzarlo in seguito a un linguaggio compilato o sostituire l'interprete di destinazione con un compilatore.

Answer 3

Oltre alle proiezioni di Futaruma, un altro approccio è il jit di meta-traccia. Meta-tracing jit non traccia direttamente o jit i tuoi programmi, ma indirettamente, attraverso l'interprete. RPython è un ottimo framework per meta-traccia. Scrivi un interprete in una versione limitata di python e RPython lo trasforma in un compilatore jit in C.