Poly/ML is an extremely fast and efficient implementation of Standard ML. Program state can be saved in a memory-mapped persistent store. There are numerous addon libraries available.

WWW: https://www.polyml.org
