MLトン

MLトン
パラダイム	マルチパラダイム：機能的、命令的
家族	ML :標準ML
初登場	1997年; 27年前
安定リリース	20210117 / 2021年1月17日; 3年前
タイピングの規律	強い、静的、推測された
ライセンス	歴史的許可通知および免責事項
ファイル名拡張子	.sml
Webサイト	mlton.org
影響を受けた
	標準ML

MLtonは、プログラミング言語 Standard ML用のプログラム全体の最適化コンパイラです。^[1] MLtonの開発は1997年に始まり、^[1]世界中の開発者とユーザーのコミュニティによって継続され、^{[3] MLtonをいくつかの}コンピューティングプラットフォームに移植するのに貢献しました。これは、歴史的許可通知と免責事項の下でリリースされた無料のオープンソースソフトウェアです。MLtonは、2013 Google Summer of Codeに参加した組織でした。

MLtonは、高速な実行ファイルを生成し、高レベルの機能によく見られる非効率性を排除することで、迅速なプロトタイピングとモジュールプログラミングを促進することを目的としています。 ^[1]また、MLBasisシステムを通じて大規模なプログラミングを容易にし、 ^{[4]モジュール性と名前空間の管理を簡素化することを目指しています。プログラム全体のコンパイラとして、標準ML環境で一般的な}読み取り-評価-印刷ループの対話型トップレベルがないことが注目に値します。 ^[5]

MLton には、Basis標準ライブラリに加えて、ANTLRを実装した ML 言語処理ツールや、縮小命令セットコンピュータ用のコードジェネレータを備えた MLRISC など、いくつかのライブラリが含まれています。また、SML/NJ のコンパイルマネージャのサポートなど、より一般的な SML 実装の 1 つである SML/NJ からのコード移植を支援する機能も実装されています^[^{引用が必要}^]。

参照

NECアメリカ株式会社 § NEC研究所

参考文献

^ abcd Stephen Weeks (2006 年 9 月 16 日)。「MLton でのプログラム全体のコンパイル」(PDF) 。ML Workshop 2006、招待講演。2007年 6 月 29 日時点のオリジナル(PDF)からアーカイブ。2007 年 12 月 2 日に閲覧。
^ “ライセンス”. MLton.org . 2021年11月30日閲覧。
^ https://github.com/MLton/mlton
^ http://mlton.org/MLBasis
^ http://mlton.org/Drawbacks

外部リンク

公式サイト
GitHubの MLton
SourceForgeの MLton

[mlworkshop-1] Stephen Weeks (2006 年 9 月 16 日)。「MLton でのプログラム全体のコンパイル」(PDF) 。ML Workshop 2006、招待講演。2007年 6 月 29 日時点のオリジナル(PDF)からアーカイブ。2007 年 12 月 2 日に閲覧。

[2] “ライセンス”. MLton.org . 2021年11月30日閲覧。

[3] ttps://github.com/MLton/mlton

[4] ttp://mlton.org/MLBasis

[5] ttp://mlton.org/Drawbacks