Je souhaite en savoir plus sur la manière dont Haskell se compile en code natif. Je comprends que Haskell est statiquement typechecked, c'est pourquoi vous ne pourriez pas vouloir faire ceci. Mais est-ce possible?Est-il possible d'écrire un compilateur Just In Time (JIT) pour Haskell?
Cette thèse sur la compilation d'un JIT de langage fonctionnel paresseux pourraient vous intéresser: https://dl.dropboxusercontent.com/u/3265448/schilling.thesis.final.2014-01-20.pdf
Deux autres ressources qui pourraient aider dans votre quête:
http://www.dcc.fc.up.pt/~pbv/aulas/linguagens/peytonjones92implementing.pdf
http://research.microsoft.com/en-us/um/people/simonpj/Papers/pj-lester-book/
pourquoi serait typage statique éviter un d'écrire un JIT? En fait, il est plus facile de JIT un langage typé statiquement qu'un typé dynamiquement. –
Un compilateur JIT est juste un compilateur régulier que vous utilisez beaucoup :). – jamshidh
@TheParamagneticCroissant Hmm, tout le point d'un langage statiquement typé est qu'il est typechecked au moment de la compilation, non? D'après ce que je comprends, un compilateur JIT compilerait le langage source au code natif à l'exécution. Mais ne serait-ce pas vaincre le point de vérification de type statique? Peut-être qu'il me manque quelque chose de fondamental. – ShivanKaul