Probably Microsoft's F# is the modern SML with more chances to become mainstream and start that big revolution.