GHC

格拉斯哥Haskell编译器内嵌的秘密。高阶语言如Haskell鼓励程序员通过编写函数来构造抽象。一个好的编译器必须内联这些调用来恢复一个高效的可执行程序。原则上,倾斜是简单的:用它的一个实例替换一个函数的调用。但任何编译器编写者都会告诉你,倾斜是一种黑色艺术,充满微妙的妥协,共同工作,以提供良好的性能,而不需要不必要的代码膨胀。因此,本文的目的是阐明我们从“格拉斯哥”Haskell编译器中使用的一个完整的“生产”内联学习的关键经验。我们主要集中在算法方面,但我们也提供了一些指示性的测量来证实内联的各个方面的重要性。


ZBMaX中的参考文献(87篇)1标准条款

显示结果1至20的87。
按年份排序(引文
  1. 施里夫斯,汤姆;奥利维拉,布鲁诺C.D.S.;Wadler,菲利普;马恩蒂罗西安,考尔:耳蜗:稳定和连贯暗示(2019)
  2. Baydin,Barak A.,Radul,Alexey Andreyevich,西斯金德,Jeffrey Mark:机器学习中的自动微分:一项调查(2018)
  3. Bendkowski,Maciej;Grigiel,KATARZYNA;Tarau,保罗:随机生成的封闭简单类型(λ)-术语:逻辑编程与Boltzmann采样器之间的协同(2018)
  4. Ishii,Hiromi:嵌入Haskell(2018)的纯功能计算机代数系统
  5. 果园,多米尼克:容器函子和共符的复杂性界限(2018)
  6. 谢赫,阿米尔;达什提,穆罕默德;科赫,克里斯托夫:查询引擎中基于推与拉的循环融合(2018)
  7. AHN,Ki Yung;VEZOZSI,安德列:多态系统使用Prolog(2016)的可执行关系规范
  8. 布赖特纳,约阿希姆;Eisenberg,Richard A.;Peyton Jones,西蒙;韦利奇,斯蒂芬妮:Haskell的安全零成本强制(2016)
  9. 唐嫩,保罗;毛瑞尔,卢克;Ariola,Zena M.;Peyton Jones,Peyton Jones:作为编译中间语言的连续演算(2016)
  10. 卡普弗,西蒙:(K3)曲面上希尔伯特点格式的整体上同调计算杯积(2016)
  11. Sivaramakrishnan,K. C.;Harris,提姆;Marlow,西蒙;Peyton Jones,西蒙:Haskell(2016)的可组合调度程序激活
  12. 牛顿,Ryan R.;福格,Peter P.;瓦拉米什,Ali:自适应无锁地图:纯功能到可扩展(2015)
  13. SMETSER、SJAK、van Eekelen、马尔科:高阶严格型的推导和推理(2015)
  14. 杨,Edward Z.;Campagna,乔凡尼;一个阿坎,奥尔森,艾哈迈德;Kulkarni,阿布希克;牛顿,瑞安·R:高效的沟通和收集,以紧凑的正常形式(2015)
  15. 鸭,Gregory J.;HeMell,Rey My;Sulzmann,马丁:关于终止、合流和一致CHR的类型推断(2014)
  16. 林顿,S;哈蒙德,K.;Konovalov,A;布朗,C;Trand,P. W.;LoIDL,H.W.;Horn,P.;Roozemond;D.:符号计算软件的简单组合:SCSCP:符号计算的新语言(2013)
  17. 大陆、杰弗里、Leshchinskiy、罗马、Peyton Jones、西蒙:利用广义流融合开发向量指令(2013)
  18. 彼得森,叶;果园,多米尼克;格柳,尼尔:Haskell的SIMD自动矢量化(2013)
  19. Popeea,Corneliu;Chin,Wei Ngan:证明安全和发现缺陷的双重分析(2013)
  20. 韦里奇,斯蒂芬妮;Hsu,贾斯廷;Eisenberg,Richard A.:显式等价的系统Fc(2013)