Mythryl - interessanter Fork von SML/NJ für praktische Nutzung unter Linux 32bit.