跳转到内容

MLton：修订间差异

维基百科，自由的百科全书
以互动方式浏览历史
←上一版本
删除的内容 添加的内容
可视化wikitext
小 →top
Cewbot（留言 | 贡献）
机器人、​回退员
1,913,853次编辑
小 清理跨語言連結优化编译器成為內部連結:編輯摘要的紅色內部連結乃正常現象，經繁簡轉換後存在，非bot錯誤編輯 (本次機械人作業已完成30.7%)
 
（未显示3个用户的5个中间版本）
第1行： 第1行：
{{Infobox programming language
⚫
'''MLton'''是[[开源授权|开源]]的[[Standard ML]]的全程序{{en-link|优化编译器|Optimizing compiler}}<ref name="mlworkshop">{{cite web | title = Whole-Program Compilation in MLton | author = Stephen Weeks | date = September 16, 2006 | accessdate = 2007-12-02 | url = http://mlton.org/pages/References/attachments/060916-mlton.pdf | format = PDF | publisher = ML Workshop 2006, invited lecture | url-status=dead | archiveurl = https://web.archive.org/web/20070629215827/http://mlton.org/pages/References/attachments/060916-mlton.pdf | archivedate = June 29, 2007 | df = }}</ref>。MLton开发始于1997年<ref name="mlworkshop"/>，并由世界范围的开发者和用户社群持续开发着{{refn|https://github.com/MLton/mlton}}，现在MLton已经被移植到了很多平台。MLton是2013年[[Google夏日程式碼大賽|Google编程之夏]]的参与组织。
| name = MLton
| logo =
| paradigm = [[编程范型|多范型]]: [[函数式编程|函数式]], [[指令式编程|指令式]]
| year = {{start date and age|1997}}<ref name="mlworkshop"/>
| designer =
| latest_release_version = 20210117<ref>{{Cite web |url=http://mlton.org/Release20210117 |title=Release20210117 |access-date=2022-03-08 |archive-date=2022-04-25 |archive-url=https://web.archive.org/web/20220425054619/http://www.mlton.org/Release20210117 }}</ref>
| latest_release_date = {{start date and age|2021|01|17}}
| typing = [[强类型]], [[静态类型|静态]], [[类型推论]]
| influenced_by = [[Standard ML]]
| influenced =
| website = {{URL|http://mlton.org/}}
| license = {{en-link|历史许可通知和免责声明|Historical Permission Notice and Disclaimer}}<ref>{{Cite web|title=License|url=http://mlton.org/License|access-date=2021-11-30|website=mlton.org|archive-date=2021-11-30|archive-url=https://web.archive.org/web/20211130230050/http://mlton.org/License}}</ref>
| File extensions = .sml
}}
⚫
'''MLton'''是[[开源授权|开源]]的[[Standard ML]]的全程序[[优化编译器]]<ref name="mlworkshop">{{cite web | title = Whole-Program Compilation in MLton | author = Stephen Weeks | date = September 16, 2006 | accessdate = 2007-12-02 | url = http://mlton.org/pages/References/attachments/060916-mlton.pdf | format = PDF | publisher = ML Workshop 2006, invited lecture | url-status=dead | archiveurl = https://web.archive.org/web/20070629215827/http://mlton.org/pages/References/attachments/060916-mlton.pdf | archivedate = June 29, 2007 | df = }}</ref>。MLton开发始于1997年<ref name="mlworkshop"/>，并由世界范围的开发者和用户社群持续开发着{{refn|https://github.com/MLton/mlton}}，现在MLton已经被移植到了很多平台。MLton是2013年[[Google夏日程式碼大賽|Google编程之夏]]的参与组织。


MLton通过去除通常关联于高级特征的低效性，致力于产生高速的可执行程序，并鼓励快速原型和[[模块化编程]]<ref name="mlworkshop"/>。它还通过MLBasis系统{{refn|http://mlton.org/MLBasis}}，简化模块化和名字空间管理，致力于促进{{en-link|大型编程和小型编程|Programming in the large and programming in the small#Programming in the large|大型编程}}。作为全程序编译器，它显著的缺少在Standard ML环境中常见的[[读取﹣求值﹣输出循环|交互式顶层]]{{refn|http://mlton.org/Drawbacks}}。
MLton通过去除通常关联于高级特征的低效性，致力于产生高速的可执行程序，并鼓励快速原型和[[模块化编程]]<ref name="mlworkshop"/>。它还通过MLBasis系统{{refn|http://mlton.org/MLBasis}}，简化模块化和名字空间管理，致力于促进{{en-link|大型编程和小型编程|Programming in the large and programming in the small#Programming in the large|大型编程}}。作为全程序编译器，它显著的缺少在Standard ML环境中常见的[[读取﹣求值﹣输出循环|交互式顶层]]{{refn|http://mlton.org/Drawbacks}}。
第9行： 第24行：


==外部链接==
==外部链接==
* [http://mlton.org MLton webpage]
* [http://mlton.org MLton webpage] {{Wayback|url=http://mlton.org/ |date=20090103032226 }}


[[en:MLton]]
[[Category:ML语言家族]]
[[Category:ML语言家族]]
{{Compu-lang-stub}}

2023年7月15日 (六) 07:27的最新版本

MLton
编程范型多范型: 函数式, 指令式
发行时间1997年，​27年前​（1997）[1]
当前版本
  • 20210117（2021年1月17日；穩定版本）
編輯維基數據鏈接
型態系統强类型, 静态, 类型推论
許可證历史许可通知和免责声明（英语：Historical Permission Notice and Disclaimer）[2]
文件扩展名.sml
網站mlton.org
啟發語言
Standard ML

MLton是开源的Standard ML的全程序优化编译器[1]。MLton开发始于1997年[1]，并由世界范围的开发者和用户社群持续开发着[4]，现在MLton已经被移植到了很多平台。MLton是2013年Google编程之夏的参与组织。

MLton通过去除通常关联于高级特征的低效性，致力于产生高速的可执行程序，并鼓励快速原型和模块化编程[1]。它还通过MLBasis系统[5]，简化模块化和名字空间管理，致力于促进大型编程（英语：Programming in the large and programming in the small#Programming in the large）。作为全程序编译器，它显著的缺少在Standard ML环境中常见的交互式顶层[6]。

MLton在基础库之外还提供一些额外的库，包括实现了ANTLR的ML语言处理工具，和具有针对精简指令集CPU的代码生成器的MLRISC。它还实现了辅助从最流行的SML实现SML/NJ移植代码的特征，包括支持SML/NJ的编译管理器。

引用

[编辑]
  1. ^ 1.0 1.1 1.2 1.3 Stephen Weeks. Whole-Program Compilation in MLton (PDF). ML Workshop 2006, invited lecture. September 16, 2006 [2007-12-02]. （原始内容 (PDF)存档于June 29, 2007）. 
  2. ^ License. mlton.org. [2021-11-30]. （原始内容存档于2021-11-30）. 
  3. ^ Release20210117. [2022-03-08]. （原始内容存档于2022-04-25）. 
  4. ^ https://github.com/MLton/mlton
  5. ^ http://mlton.org/MLBasis
  6. ^ http://mlton.org/Drawbacks

外部链接

[编辑]
检索自“https://zh.wikipedia.org/zhwiki/w/index.php?title=MLton&oldid=78088768”