MLton:用于标准ML的全程序优化编译器-开源

时间:2024-06-03 22:54:59
【文件属性】:

文件名称:MLton:用于标准ML的全程序优化编译器-开源

文件大小:16.45MB

文件格式:TGZ

更新时间:2024-06-03 22:54:59

开源软件

MLton是用于标准ML的全程序优化编译器。 MLton利用未标记和未装箱的本机整数,实数和单词,未装箱的本机数组,基于GnuMP的快速任意精度算术以及多种代码生成和垃圾回收策略,生成具有出色运行时性能的小型可执行文件。 此外,MLton提供了功能丰富的Standard ML编程环境,如标准ML的定义(修订版)中所提供的那样,对SML97的完全支持,许多有用的语言扩展,标准ML基础库的完整实现,各种有用的库,一个简单而快速的C外部函数接口,用于使用源库进行编程的ML Basis系统以及诸如lexer生成器,解析器生成器和分析器之类的工具。


网友评论