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?
1
A
Antwort
1
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/
Verwandte Themen
- 1. PHP - Just-in-Time-Compiler Vs Interpreter
- 2. Wäre es für einen JIT-Compiler möglich, GPU für bestimmte Vorgänge hinter den Kulissen zu verwenden?
- 3. Wie man Just-in-Time-Kompilierung lernen?
- 4. Ist es möglich, einen benutzerdefinierten Konverter für Pandoc zu schreiben?
- 5. Ist es möglich, dass Rails-Sitzungen "just in time" erstellt werden?
- 6. Visual Studio Just-in-Time-Debugger wird sofort beendet
- 7. Just-in-Time-Debuggen in VS2015 - crtexe.c
- 8. Ist es möglich, Compiler-Warnungen für bestimmte Aufgaben zu unterdrücken?
- 9. WPF DataTemplate: Wie erstelle ich einen Tooltip Just-in-Time?
- 10. Just in time Berechnung von Kombinationen
- 11. SICStus Prolog JIT-Compiler
- 12. Wann hat Java einen JIT-Compiler bekommen?
- 13. Ist es möglich, Erweiterungsmethoden für Console zu schreiben?
- 14. Ist es möglich, einen Windows-Dienst mit Python zu schreiben?
- 15. Ist es möglich, Code zu schreiben, um Code zu schreiben?
- 16. Ist es möglich, Automatisierungstests für die nwjs App zu schreiben?
- 17. Ist es möglich, Syntax wie -()() zu schreiben?
- 18. Ist es möglich, eine Jugendschutz-App für iOS zu schreiben?
- 19. CLR Sprachoptimierung. Language Compiler VS JIT Compiler
- 20. Ist es möglich, einen ValueType zu klonen?
- 21. Just-in-Time-Compilation - wann findet es tatsächlich in Java statt?
- 22. Ausdruck der Haskell-Bewertungsschritte für Lern-/Lernzwecke. Ist es möglich?
- 23. Ist es möglich, Stand-alone-Haskell ausführbare
- 24. Ist es möglich, mehrere Iteratoren für einen Typ in C# zu schreiben?
- 25. Ist es möglich, Erweiterungen in Delphi Debugger zu schreiben?
- 26. Gibt es einen Parallelfund in Haskell?
- 27. Ist es möglich, c-code mit Haskell cabal zu packen?
- 28. Ist es möglich, einen Subprozess zu erneuern?
- 29. Ist es möglich, ein Betriebssystem komplett in C zu schreiben?
- 30. Ist es möglich, eine Schleife in Scala Console zu schreiben?
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