July 6, 2026
ML or MLM? Comment section melts down
Poly/ML – A Standard ML Implementation
This old-school coding tool sparked confusion, nostalgia, and a mini language war
TLDR: Poly/ML is an actively developed, old-school programming tool still trusted for big, serious projects. The comments stole the show, with newcomers confused by the name, veterans recommending rival tools, and fans declaring ML the perfect middle ground in coding.
A niche programming tool called Poly/ML just reminded the internet that some of the oldest coding languages still have extremely loyal fans — and extremely opinionated ones. On paper, the news is simple: Poly/ML is a long-running implementation of Standard ML, a programming language built for serious software work, with perks like a fast compiler, multithreading, debugging tools, and support for big proof-heavy projects like Isabelle and HOL. In plain English: it’s old, respected, still actively maintained, and very much not dead.
But the real entertainment was in the comments, where readers instantly split into camps. One confused newcomer admitted they saw “ML” and expected a markup language, only to discover they’d wandered into the deep end of mathematical programming. That set the tone: half the crowd was doing a double take, while the other half rolled in like proud museum docents explaining the family tree — “check out MLton, SML/NJ, CakeML, and by the way, if you know OCaml or F#, these are cousins.”
Then came the hottest take: ML was the sweet spot. One commenter basically argued that this family of languages gives you the elegant parts of functional programming without the “why is this so hard to do basic input and output” pain some people associate with Haskell. So yes, Poly/ML itself is the story — but the comment section turned it into a reunion, a recommendation war, and a light roast of how absurdly confusing programming language names can be.
Key Points
- •Poly/ML is a Standard ML implementation originally written in an experimental language called Poly and has been fully compatible with the ML97 standard since version 4.0.
- •The implementation takes a conservative approach to Standard ML, avoiding incompatible extensions while adding library extensions such as a thread library.
- •Poly/ML includes features such as a fast compiler, foreign function interface, symbolic debugger, Windows programming interface, and parallelised garbage collection.
- •The article identifies Poly/ML as a preferred implementation for large projects including Isabelle and HOL.
- •Poly/ML supports i386 and 64-bit ARM natively, while other architectures can run through a byte-code interpreter, and users can access documentation and a mailing list for support.