Я большой поклонник "The Little MLer" ML-версии "The Little Schemer" (урожденная "The Little Lisper"). Вся книга в формате ответов на вопрос, который ведет вас через язык.
Большой недостаток состоит в том, что он не охватывает (IIRC) O-часть OCaML ... но он действительно хорошо охватывает часть ML ...