MLton (original) (raw)

Property Value
dbo:abstract MLton is an open-source whole-program optimizing compiler for Standard ML. MLton development began in 1997, and continues with a worldwide community of developers and users, who have helped to port MLton to a number of platforms. MLton was a participating organization in the 2013 Google Summer of Code. MLton aims to produce fast executables, and to encourage rapid prototyping and modular programming by eliminating inefficiencies often associated with high-level features. It also aims to facilitate large-scale programming through the MLBasis system, simplifying modularity and management of namespaces. As a whole-program compiler, it is notable for lacking an interactive top-level, common amongst Standard ML environments. MLton includes several libraries in addition to the basis including ML Language Processing Tools with an implementation of ANTLR, and MLRISC with code generators for reduced instruction set CPUs. It also implements features that aid in porting code from SML/NJ, one of the more popular SML implementations, including support for SML/NJ's compilation manager. (en) MLton (произносится «ми́ллтон») — кроссплатформенный полнопрограммно-оптимизирующий компилятор языка программирования Standard ML (SML). Как и большинство остальных реализаций Standard ML, написан на самом Standard ML (за исключением рантайм-системы, написанной на Си) и распространяется с открытыми исходными кодами под лицензией в стиле BSD. (ru) MLton是开源的Standard ML的全程序。MLton开发始于1997年,并由世界范围的开发者和用户社群持续开发着,现在MLton已经被移植到了很多平台。MLton是2013年Google编程之夏的参与组织。 MLton通过去除通常关联于高级特征的低效性,致力于产生高速的可执行程序,并鼓励快速原型和模块化编程。它还通过MLBasis系统,简化模块化和名字空间管理,致力于促进。作为全程序编译器,它显著的缺少在Standard ML环境中常见的交互式顶层。 MLton在基础库之外还提供一些额外的库,包括实现了ANTLR的ML语言处理工具,和具有针对精简指令集CPU的代码生成器的MLRISC。它还实现了辅助从最流行的SML实现SML/NJ移植代码的特征,包括支持SML/NJ的编译管理器。 (zh)
dbo:influencedBy dbr:Standard_ML
dbo:license dbr:Historical_Permission_Notice_and_Disclaimer
dbo:wikiPageExternalLink http://mlton.org/MLBasis https://github.com/MLton/mlton http://mlton.org/ http://mlton.org/Drawbacks http://mlton.org
dbo:wikiPageID 1282603 (xsd:integer)
dbo:wikiPageLength 3017 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID 1058009463 (xsd:integer)
dbo:wikiPageWikiLink dbr:Programming_in_the_large_and_programming_in_the_small dbc:ML_programming_language_family dbr:Multi-paradigm_programming_language dbr:Standard_ML dbr:Static_typing dbr:Standard_library dbr:ANTLR dbr:Google_Summer_of_Code dbr:Historical_Permission_Notice_and_Disclaimer dbr:Functional_programming_language dbr:Code_generation_(compiler) dbr:Modular_programming dbr:Open-source_license dbr:Optimizing_compiler dbr:Reduced_instruction_set_computer dbr:Type_inference dbr:Imperative_programming dbr:Strong_typing dbr:Read–eval–print_loop
dbp:fileExtensions .sml (en)
dbp:influencedBy dbr:Standard_ML
dbp:license dbr:Historical_Permission_Notice_and_Disclaimer
dbp:name MLton (en)
dbp:paradigm dbr:Multi-paradigm_programming_language dbr:Functional_programming_language dbr:Imperative_programming
dbp:typing dbr:Static_typing dbr:Type_inference dbr:Strong_typing
dbp:website http://mlton.org/
dbp:wikiPageUsesTemplate dbt:Citation_needed dbt:Infobox_programming_language dbt:Reflist dbt:Refn dbt:Section_link dbt:Start_date_and_age dbt:Compu-lang-stub
dcterms:subject dbc:ML_programming_language_family
gold:hypernym dbr:Source
rdf:type owl:Thing dbo:Language schema:Language wikidata:Q315 wikidata:Q9143 dbo:ProgrammingLanguage
rdfs:comment MLton (произносится «ми́ллтон») — кроссплатформенный полнопрограммно-оптимизирующий компилятор языка программирования Standard ML (SML). Как и большинство остальных реализаций Standard ML, написан на самом Standard ML (за исключением рантайм-системы, написанной на Си) и распространяется с открытыми исходными кодами под лицензией в стиле BSD. (ru) MLton是开源的Standard ML的全程序。MLton开发始于1997年,并由世界范围的开发者和用户社群持续开发着,现在MLton已经被移植到了很多平台。MLton是2013年Google编程之夏的参与组织。 MLton通过去除通常关联于高级特征的低效性,致力于产生高速的可执行程序,并鼓励快速原型和模块化编程。它还通过MLBasis系统,简化模块化和名字空间管理,致力于促进。作为全程序编译器,它显著的缺少在Standard ML环境中常见的交互式顶层。 MLton在基础库之外还提供一些额外的库,包括实现了ANTLR的ML语言处理工具,和具有针对精简指令集CPU的代码生成器的MLRISC。它还实现了辅助从最流行的SML实现SML/NJ移植代码的特征,包括支持SML/NJ的编译管理器。 (zh) MLton is an open-source whole-program optimizing compiler for Standard ML. MLton development began in 1997, and continues with a worldwide community of developers and users, who have helped to port MLton to a number of platforms. MLton was a participating organization in the 2013 Google Summer of Code. (en)
rdfs:label MLton (en) MLton (ru) MLton (zh)
owl:sameAs freebase:MLton wikidata:MLton dbpedia-ru:MLton dbpedia-zh:MLton https://global.dbpedia.org/id/fWDv
prov:wasDerivedFrom wikipedia-en:MLton?oldid=1058009463&ns=0
foaf:homepage http://mlton.org/
foaf:isPrimaryTopicOf wikipedia-en:MLton
foaf:name MLton (en)
foaf:page http://mlton.org/
is dbo:wikiPageRedirects of dbr:Mlton
is dbo:wikiPageWikiLink of dbr:Value_restriction dbr:Concurrent_ML dbr:Standard_ML dbr:Self-hosting_(compilers) dbr:Static_single-assignment_form dbr:Type_safety dbr:Mlton
is dbp:implementations of dbr:Standard_ML
is foaf:primaryTopic of wikipedia-en:MLton