What do anons think of Standard ML? It is a simple language based on the typed lambda calculus, in contrast to Scheme which is based on the untyped lambda calculus. There are a few implementations to choose from (SML/NJ, MLton, Poly/ML, etc.) and it has a relatively large standard library for practical tasks.