Glasgow Haskell编译器9.0.1开始支持线性类型

Glasgow Haskell编译器(Glasgow Haskell Compiler,GHC)团队发布9.0.1第一个候选版,由于开发团队为了修复一个可靠性(Soundness)bug,因此耽误了该版发布时间,不过官方提到,该版本仍然经过大测量试,预计将会是最终版本前的最后一个预发布版本。

GHC是函数设计语言Haskell的开源原生程序代码编译器,让开发者可以跨平台地撰写以及测试Haskell程序代码,其支持大量的扩展组件和函数库,能够优化和简化产生与执行程序代码的过程。GHC是目前Haskell开发者最常用的编译器。

GHC 9.0.1的其中一个重要更新,便是加入新的线性类型(Linear Types)语言扩展组件,支持开发者使用线性函数语法,以及线性记录字段,也就是说,线性类型将线性函数的概念,带来GHC中。

而且这个版本还加入了大数函数库ghc-bignum,让Haskell能够支持大于64位元的数字,在ghc-bignum中,其数值运算的速度比之前的integer-simple函数库更加快速,并且使得GHC,能够简单地使用GMP以外的整数函数库。

GHC 9.0.1也改进了部分性能表现,像是程序代码生成方面获得改进,使得一些程序的性能得以提升,另外,新版本也缩短了编译的时间,加速程序开发工作。