The mlkit compiler [1] for Standard ML pioneered region based manual memory management, and was a primary design inspiration for Rust's memory system [2]. This

The mlkit compiler [1] for Standard ML pioneered region based manual memory management, and was a primary design inspiration for Rust's memory system [2]. This research project (CakeML) has a different, and perfectly valid set of goals. [1] http://elsman.com/mlkit/ http://elsman.com/mlkit/ [2] https://doc.rust-lang.org/reference/influences.html https://doc.rust-lang.org/reference/influences.html