建议先看SICP，再看这本书，首先LISP语法比较简单，其次这本书会经常拿ML跟LISP做对比。
SICP在大的方向上比较清晰，章节安排上更注重思想的延伸；而这本书的确如书名一样，ML的教程，从简单的类型，表，树到匿名函数无穷表，抽象类型，章节安排完全是学习语言的顺序。这样造成不同深度的主题安排的比较散乱，像刚刚开始就讲解传值调用，传需调用，惰性求值，动态类型检测的相关内容。
还有一些细节问题，这本书要比SICP更深入一些。比方说第7章详细讨论了队列的实现，最终给出了一个进队出队都是O（1）的实现方式，虽然很简单，但SICP也应该说明一下。以及第九章实现了一个解释器，可以跟SICP相互对照。
计算机科学QQ群~
群号:20076724
欢迎学习ML和Haskell的童鞋入群讨论~