MsML: A Proposal for a successor ML
summary
MsML proposes a compact successor dialect of Standard ML used as the target for a planned reimplementation of the SML/NJ front end, claiming fewer legacy quirks and clearer scoping. It removes legacy features like delete open declaration and delete equality polymorphism, adds explicit type-variable binding via a square-bracket syntax and a record overlay/with expression, and standardizes higher-order functors. The project aims for a formal, possibly mechanized definition and provides a GitHub repo and Zulip channel for implementation and migration work.
AI-written summary · about
chapters (9)
- 0:00MsML proposal introduction
- 1:27What is MsML
- 2:30Motivation for MsML
- 4:20Standard ML core
- 7:33Proposed changes in MsML
- 10:03Simpler record updates
- 16:24Formal definition needs
- 19:17MsML summary and next steps
- 22:44Questions and discussion
related talks
34mModernizing Standard ML of New Jersey: A Status Report
17mA New Match Compiler for Standard ML of New Jersey
15mA compilation method for dynamic typing in ML
31mRethinking the Value Restriction
23mBetter Defunctionalization through Lambda Set Specialization
25mNice to Meet You: Synthesizing Practical MLIR Abstract Transformers
18mThe Ultimate Conditional Syntax
18mBackwards-Compatible Row-Based Exceptions in ML