http://mythryl.org/book130.html http://mythryl.org/book130.html gives some differences from SML/NJ. It looks like it's slightly more than a new syntax skin (wh

http://mythryl.org/book130.html http://mythryl.org/book130.html gives some differences from SML/NJ. It looks like it's slightly more than a new syntax skin (which is good, because otherwise the decision to fork was horrible; SML/NJ now has 64bit and the fork doesn't). Mythryl handles (as part of language defn) printf format strings => type safe library call (I think Ocaml did this too). The only thing I found that seemed substantial (more than syntax) was explicit support for an eval facility (also in SML/NJ, but not officially) - eval: String -> Void; evali: String -> Int; evalf: String -> Float; evals: String -> String; evalli: String -> List( Int ); evallf: String -> List( Float ); evalls: String -> List( String ); But only for those result types (!) Syntax difference table: http://mythryl.org/book135.html http://mythryl.org/book135.html I definitely prefer mythryl's syntax on the whole, to SML's.