Появилось желание посмотреть, что-то из семейства ML. Что бы вы посоветовали?

Какой из них имеет более распространенные реализации (свободные, на разных платформах, генерирующие достаточно эффективный код)?

Как обстоят дела со стандартами? Где-то здесь видел пост, что OCAML не имеет стандарта и есть тенденция отказываться от обратной совместимости с пред. "версиями"