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