Sono interessato a imparare come creare un compilatore per un linguaggio tipizzato in modo dinamico. La maggior parte dei libri di compilazione, dei corsi universitari e degli articoli / tutorial che ho incontrato sono specifici per le lingue tipizzate in modo statico. Ho pensato ad alcuni modi per farlo, ma mi piacerebbe sapere come è fatto di solito. So che il tipo di inferenza è una strategia piuttosto comune, ma che dire degli altri?
Dove posso trovare ulteriori informazioni su come creare una lingua digitata in modo dinamico?
Modifica 1: Intendevo digitato in modo dinamico. Mi dispiace per la confusione.
Ho scritto compilatori giocattolo per lingue tipizzate staticamente e ho scritto alcuni interpreti per le lingue digitate dinamicamente. Ora, sono interessato a saperne di più sulla creazione di compilatori per un linguaggio digitato in modo dinamico. Sto specificatamente sperimentando LLVM e poiché ho bisogno di specificare il tipo di ogni metodo e argomento, sto pensando a modi per implementare un linguaggio tipizzato dinamicamente su qualcosa come LLVM.