MLton 是一个针对标准 ML 编程语言的全程序优化编译器。MLton 利用未标记和未装箱的本机整数,实数和单词,未装箱的本机数组,基于 GMP 的快速任意精度算术以及多种代码生成和垃圾回收策略,生成具有出色运行时性能的小型可执行文件。此外,MLton 提供了功能丰富的 Standard ML 编程环境,如标准 ML 的定义(修订版)中所述,它完全支持 SML97,提供了许多有用的语言扩展,Standard ML Basis Library 的完整实现,各种有用的库,简单,快速的 C 外部函数接口,用于使用源库进行编程的 ML Basis 系统以及诸如 lexer 生成器,解析器生成器和事件探查器之类的工具。
坚固性。
支持标准 ML 的定义(修订)中给出的完整 SML 97 语言。
基础库的完整实现。
生成独立的可执行文件。
编译大型程序。
支持大量内存(在 32 位系统上最多 4G;在 64 位系统上更多)。
支持大阵列长度(高达 2 31 - 1 32 位系统;高达 2 63 -1 在 64 位系统)。
支持大文件,使用 64 位文件位置。
性能。
可执行文件具有出色的运行时性能。
生成小型可执行文件。
未标记和未装箱的本机整数,实数和单词。
未装箱的本机阵列。
多种垃圾收集策略。
基于 GMP 的快速任意精度算法。
工具。
时间和分配的源代码级分析。
MLLex 词法分析器生成器。
MLYacc 解析器生成器。
MLNLFFIGEN 外部功能接口生成器。
扩展程序。
可移植性。
在各种平台上运行。
问题内容: 我正在尝试更好地理解它们之间的区别。我在网上找到了很多解释,但是它们倾向于抽象的差异,而不是实际的含义。 我的大部分编程经验都来自CPython(动态的,解释的)和Java(静态的,编译的)。但是,我知道还有其他种类的解释和编译语言。除了可以从以编译语言编写的程序中分发可执行文件这一事实之外,每种类型是否有优点/缺点?通常,我听到人们争辩说解释语言可以交互使用,但是我相信编译语言也可以
问题内容: 我正在尝试更好地理解它们之间的区别。我在网上找到了很多解释,但它们倾向于抽象的差异,而不是实际的含义。 我的大部分编程经验都来自CPython(动态的,解释的)和Java(静态的,编译的)。但是,我知道还有其他种类的解释和编译语言。除了可以从以编译语言编写的程序中分发可执行文件这一事实之外,每种类型是否有优点/缺点?通常,我听到人们争辩说解释语言可以交互使用,但是我相信编译语言也可以具
我有一个应用程序可以翻译成10种语言。当然,我们试图保持最新的翻译,但它从来都不是完美的,许多是社区贡献,我们经常发布更新的翻译,只有在不同的水平(在)完整(比如说80%)。 所以翻译缺失是一个现实。默认情况下,当翻译不可用时,返回源语言(英语)。 我有pt_PT、pt_BR和es_ES等的翻译。在那种情况下,我想还是退后为好 从pt_PT到pt_BR到es_ES,然后只有英语; 从pt_BR到p
本文档修改于 AT&T Indian Hill 实验室内部成立的一个委员会的一份文档,旨在于建立一套通用的编码标准。
为什么要编译安装 包管理系统是绝大多数发行版的必备组件,也是一个发行版区别于其它发行版的主要特征。但是有些软件,并不能通过包管理系统安装,这就需要下载源码编译安装。 一个软件可能有许多功能,但是发行版中提供的安装包,通常只具有一些常见的功能。如果提供所有功能,那么无疑会占用更多的资源,而这些功能,大多数用户不会用到;[24]而你会用到的功能,可能安装包中刚好没有。编译安装可以灵活地定制软件,选择自
Go 是一个开源的编程语言,它能让构造简单、可靠且高效的软件变得容易。 Golang标准库。对于程序员而言,标准库与语言本身同样重要,它好比一个百宝箱,能为各种常见的任务提供完美的解决方案。以示例驱动的方式讲解Golang的标准库。 标准库基于最新版本Go。注:目前 Go 标准库文档并没有标识某个 API 基于哪个版本的 Go,将来会加上这部分 issue。 讲解中涉及到特定操作系统时,针对的都是
什么是标准?标准是对重复性事物和概念所做的统一规定,他以科学技术和实践经验的结合成果为基础,经有关方面协商一致,由主管机构批准,以特定形式发布作为共同遵守的准则和依据。 在这个标准概念大行其道的今天,如果大家在生活中稍微注意一下,其实可以很容易发现,我们生活在一个标准化的世界里,每个产品的外包装或者标签上都会注明相应的执行标准。标准贯穿着我们的衣食住行。。总而言之,标准无处不在。 当然标准具有行业
主要内容:#if 的用法,#ifdef 的用法,#ifndef 的用法,三者之间的区别假如现在要开发一个C语言程序,让它输出红色的文字,并且要求跨平台,在 Windows 和 Linux 下都能运行,怎么办呢? 这个程序的难点在于,不同平台下控制文字颜色的代码不一样,我们必须要能够识别出不同的平台。 Windows 有专有的宏 ,Linux 有专有的宏 ,以现有的知识,我们很容易就想到了 if else,请看下面的代码: 但这段代码是错误的,在 Windows 下提示 __linu