1 我很想了解Haskell如何編譯爲本機代碼。我知道Haskell是靜態類型檢查的,這就是爲什麼你可能不想這樣做。但是有可能嗎?是否有可能爲Haskell編寫Just In Time(JIT)編譯器? 來源 2016-04-26 ShivanKaul +6 爲什麼靜態類型檢查預防一個來寫一個JIT?事實上,靜態類型語言比動態類型語言更容易。 – +2 JIT編譯器只是一個運行很多的常規編譯器:)。 – jamshidh +0 @ TheParamagneticCroissant嗯,靜態類型檢查語言的要點在於,它在編譯時是被類型檢查的,對吧?據我所知,JIT編譯器會在運行時將源語言編譯爲本機代碼。但是這不會破壞靜態類型檢查的重點嗎?也許我錯過了一些基本的東西。 – ShivanKaul
1 本文有關編譯一個懶惰的函數式語言JIT你可能感興趣的:https://dl.dropboxusercontent.com/u/3265448/schilling.thesis.final.2014-01-20.pdf 另外兩個資源,可幫你的追求: http://www.dcc.fc.up.pt/~pbv/aulas/linguagens/peytonjones92implementing.pdf http://research.microsoft.com/en-us/um/people/simonpj/Papers/pj-lester-book/ 來源 2016-04-26 21:05:49 soupi
爲什麼靜態類型檢查預防一個來寫一個JIT?事實上,靜態類型語言比動態類型語言更容易。 –
JIT編譯器只是一個運行很多的常規編譯器:)。 – jamshidh
@ TheParamagneticCroissant嗯,靜態類型檢查語言的要點在於,它在編譯時是被類型檢查的,對吧?據我所知,JIT編譯器會在運行時將源語言編譯爲本機代碼。但是這不會破壞靜態類型檢查的重點嗎?也許我錯過了一些基本的東西。 – ShivanKaul