Ich bin daran interessiert, mehr darüber zu erfahren, wie Haskell den nativen Code kompiliert. Ich verstehe, dass Haskell statisch typenchecked ist, weshalb Sie das vielleicht nicht möchten. Aber ist es möglich?Ist es möglich, einen Just In Time (JIT) Compiler für Haskell zu schreiben?
Diese These über einen faulen funktionale Sprache JIT Kompilieren Sie interessieren könnte: https://dl.dropboxusercontent.com/u/3265448/schilling.thesis.final.2014-01-20.pdf
Zwei weitere Ressourcen, die auf Ihrer Suche helfen könnten:
http://www.dcc.fc.up.pt/~pbv/aulas/linguagens/peytonjones92implementing.pdf
http://research.microsoft.com/en-us/um/people/simonpj/Papers/pj-lester-book/
warum statische Typprüfung verhindern einer vom Schreiben eines JIT? In der Tat ist es einfacher, eine statisch typisierte Sprache zu JITEN als eine dynamisch typisierte. –
Ein JIT-Compiler ist nur ein normaler Compiler, den Sie häufig ausführen :). – jamshidh
@TheParamagneticCroissant Hmm, der springende Punkt einer statisch typgeprüften Sprache ist, dass sie zur Kompilierzeit typisiert wird, richtig? Soweit ich weiß, würde ein JIT-Compiler die Quellsprache zur Laufzeit in nativen Code kompilieren. Aber würde das den Punkt der statischen Typprüfung nicht besiegen? Vielleicht vermisse ich etwas Grundlegendes. – ShivanKaul