> 根据我的经验，学 OCaml 是熟悉 Haskell 所用类型系统的好方法
我很赞同这一点。此外，我还会推荐《The Little MLer》，这是一本教你如何用类型思维思考的绝佳好书。编辑补充：没往后看，好像下面已经有人提过了:)
> In my experience, learning OCaml is a good way to become accustomed to the type system Haskell uses I'd agree with this. In addition I'd recommend "The Little MLer" as a great book on how to think in terms of types. edit. didn't read further down. Seems as if it is already mentioned:)
……而是相对较薄的练习与点评合集，旨在向你介绍几个深刻的思想。（另外，有些人对这种风格非常反感，或者觉得写法过于卖萌。）顺便提一句，《The Little MLer》对于学习如何用类型来思考（比如在 OCaml 和 Haskell 中）非常出色。强烈推荐。
…rather relatively thin books of exercises and commentary, all designed to introduce you to several deep ideas. (Also, some people are really turned off by the style or find the writing overly cute.) The Little MLer is excellent for learning how to think in types (as in OCaml and Haskell), btw. Highly recommended.
……微观层面的求值，直到语义变得完全清晰。这一点特别有用，因为 Scheme 和 Prolog 都跟大家熟知的典型命令式/OO语言大相径庭。供参考，《The Little MLer》的写作风格与 TLS 相同，是一本很棒、轻量级的 ML 类型系统/静态类型入门书。
…evaluation at a micro-level, until the semantics feel totally clear. This is especially helpful since Scheme and Prolog are both very different from the typical imperative/OO languages people know. FWIW, The Little MLer is written in the same style as TLS, and is a good, lightweight introduction to ML's type system / static typing.
确实*有*一本《The Little MLer》（里面的例子是用 Caml 和 Standard ML 写的），它把基于类型的编程讲得非常透彻，我猜任何准备学 Haskell 的人都会觉得它值得一读（我很尊重 Haskell 的纯粹性，但……
There _is_ a Little MLer (with examples in Caml and Standard ML), which teaches type-based programming very well, and would be worth reading for anyone setting out to learn Haskell, I imagine (I respect Haskell's purity, but…
其他一些使用 SML 的教材：《The Little MLer》：http://www.ccs.neu.edu/home/matthias/BTML/ ，你可以配合修订版的《Programming in SML》一起读 http://www.cs.cmu.edu/~rwh/isml/book.pdf ；《Discrete Math & Functional Programming》：https://cs.wheaton.edu/~tvandrun/dmfp/……
Some other texts w/SML: The Little MLer: http://www.ccs.neu.edu/home/matthias/BTML/ which you can read with the revised Programming in SML http://www.cs.cmu.edu/~rwh/isml/book.pdf Discrete Math & Functional Programming: https://cs.wheaton.edu/~tvandrun/dmfp/…
我觉得 Little 系列并没有一个集中的社区。挺可惜的。要是有个社区，像《The Little MLer》（类型化 FP）和《A Little Java, a Few Patterns》（OOP）这样优秀的作品知名度会高得多。我觉得这两本都很出彩。《A Little Java》好像已经重印了。但上次我查的时候，《The Little MLer》真是贵得……
I don't think there's a centralized community for the Little Series. I think this is unfortunate. With a community, some great titles like The Little MLer (typed FP) and A Little Java, a Few Patterns (OOP) would be much better known. I found those two outstanding. I think A Little Java has been reprinted. But last time I checked, The Little MLer was bloody…
> 根据我的经验，学 OCaml 是熟悉 Haskell 所用类型系统的好方法 我很赞同这一点。此外，我还会推荐《The Little MLer》，这是一本教你如何用类型思维思考的绝佳好书。编辑补充：没往后看，好像下面已经有人提过了:)
> In my experience, learning OCaml is a good way to become accustomed to the type system Haskell uses I'd agree with this. In addition I'd recommend "The Little MLer" as a great book on how to think in terms of types. edit. didn't read further down. Seems as if it is already mentioned:)
……而是相对较薄的练习与点评合集，旨在向你介绍几个深刻的思想。（另外，有些人对这种风格非常反感，或者觉得写法过于卖萌。）顺便提一句，《The Little MLer》对于学习如何用类型来思考（比如在 OCaml 和 Haskell 中）非常出色。强烈推荐。
…rather relatively thin books of exercises and commentary, all designed to introduce you to several deep ideas. (Also, some people are really turned off by the style or find the writing overly cute.) The Little MLer is excellent for learning how to think in types (as in OCaml and Haskell), btw. Highly recommended.
……微观层面的求值，直到语义变得完全清晰。这一点特别有用，因为 Scheme 和 Prolog 都跟大家熟知的典型命令式/OO语言大相径庭。供参考，《The Little MLer》的写作风格与 TLS 相同，是一本很棒、轻量级的 ML 类型系统/静态类型入门书。
…evaluation at a micro-level, until the semantics feel totally clear. This is especially helpful since Scheme and Prolog are both very different from the typical imperative/OO languages people know. FWIW, The Little MLer is written in the same style as TLS, and is a good, lightweight introduction to ML's type system / static typing.
确实*有*一本《The Little MLer》（里面的例子是用 Caml 和 Standard ML 写的），它把基于类型的编程讲得非常透彻，我猜任何准备学 Haskell 的人都会觉得它值得一读（我很尊重 Haskell 的纯粹性，但……
There _is_ a Little MLer (with examples in Caml and Standard ML), which teaches type-based programming very well, and would be worth reading for anyone setting out to learn Haskell, I imagine (I respect Haskell's purity, but…
其他一些使用 SML 的教材：《The Little MLer》：http://www.ccs.neu.edu/home/matthias/BTML/ ，你可以配合修订版的《Programming in SML》一起读 http://www.cs.cmu.edu/~rwh/isml/book.pdf ；《Discrete Math & Functional Programming》：https://cs.wheaton.edu/~tvandrun/dmfp/……
Some other texts w/SML: The Little MLer: http://www.ccs.neu.edu/home/matthias/BTML/ which you can read with the revised Programming in SML http://www.cs.cmu.edu/~rwh/isml/book.pdf Discrete Math & Functional Programming: https://cs.wheaton.edu/~tvandrun/dmfp/…
我觉得 Little 系列并没有一个集中的社区。挺可惜的。要是有个社区，像《The Little MLer》（类型化 FP）和《A Little Java, a Few Patterns》（OOP）这样优秀的作品知名度会高得多。我觉得这两本都很出彩。《A Little Java》好像已经重印了。但上次我查的时候，《The Little MLer》真是贵得……
I don't think there's a centralized community for the Little Series. I think this is unfortunate. With a community, some great titles like The Little MLer (typed FP) and A Little Java, a Few Patterns (OOP) would be much better known. I found those two outstanding. I think A Little Java has been reprinted. But last time I checked, The Little MLer was bloody…