3 ms·
SML is old, very old. SML has quite a few implementations and MLton is one. This is a fork of MLton with some special features. There's also MLkit which has reg
by cm3 10y ago
SML is old, very old. SML has quite a few implementations and MLton is one. This is a fork of MLton with some special features. There's also MLkit which has region types similar to Rust. I don't know if MLkit was first though, but the idea existed before Rust, so it's possible.
- continuational 10y agoMLkit is older than Rust. Here's a publication from 2006: http://www.elsman.com/pdf/mlkit-4.3.0.pdf http://www.elsman.com/pdf/mlkit-4.3.0.pdf
- cm3 10y agoStrangely MLkit doesn't have AMD64 support yet. That's why I use MoscowML for the REPL, besides MLton for final binaries.
- groovy2shoes 10y agoI'm a fan of Poly/ML myself. MoscowML is cool, but it seems like the devs either don't have the time or the will to give it any love anymore, and it has been languishing without any updates for years now. It doesn't even build on Cygwin anymore. Meanwhile, Poly/ML is still maintained, and considerably faster (though I couldn't make heads nor tails of its parser code...).
- bjz_ 10y agoMLkit was a key influence on Rust. It's no secret that Rust has drawn from prior art in regards to regions - Cyclone is another one.