[ML][小贴士]：ML 中的 =, -> 和 =>

Question

如果你学 ML 的方式跟我一样浮躁，很可能被这几个符号搞糊涂:

2. fun f x = x+1;
4. fn x => x+1;

复制代码

＝  用在 fun 定义的普通函数中，而 => 用在 fn 定义的匿名函数中。

那 -> 又是什么呢？它表示两种类型间的一个映射。在 ML 的交互环境中，你常常能看到它。

2. - fn x=> x+1;
3. > val it = fn : int -> int

复制代码

有时候需要自己输入 ->，比如

2. datatype 'a seq = Nil | Cons of unit->'a * 'a seq;

复制代码

------------贴士的贴士----------------------------------

贴士在粤语中很常用，是个外来词，即 tips.

----------------------------------------------------------

[ 本帖最后由 win_hate 于 2008-11-9 11:13 编辑 ]

Answer 1

原帖由 drunkedcat 于 2008-11-10 10:56 发表

Eric Raymond 推荐学习 html, c/c++, java, perl, lisp, 英语，呵呵，我觉得应该可以加上 haskell. 思维方式都不一样。

每个人推荐的东西都会受到他/她自己知识背景的限制，因此参考一下就可以了，没必要太认真

Answer 2

原帖由 MMMIX 于 2008-11-9 23:26 发表

多学几种类型不同的语言还是很有好处的，起码可以开阔眼界。

Eric Raymond 推荐学习 html, c/c++, java, perl, lisp, 英语，呵呵，我觉得应该可以加上 haskell. 思维方式都不一样。

Answer 3

原帖由 drunkedcat 于 2008-11-9 19:40 发表

所以语言还是不要学太多，现学现用，呵呵。

多学几种类型不同的语言还是很有好处的，起码可以开阔眼界。

Answer 4

原帖由 MMMIX 于 2008-11-9 13:41 发表

慢慢你就习惯了。

学了很多语言的一个副作用就是，许多时候会突然忘了你要用的语言的语法，然后乱写一气。。。

就是就是。

所以语言还是不要学太多，现学现用，呵呵。

Answer 5

看来 FP 语言都这几条语法。
只不过用的符号各不相同，差别挺大的。

ML 里面的 => 在 Erlang 里面用 -> 来表示。
FP 里面的 -> 和 ML 是一样的。

Answer 6

原帖由 drunkedcat 于 2008-11-9 12:15 发表
晕了，呵呵。

用 haskell 时第一个符号问题是 "/=" 表示不等于，而不是“！=”，呵呵。

学过 C 的都觉得这里是在做除法。

Answer 7

原帖由 drunkedcat 于 2008-11-9 12:15 发表
晕了，呵呵。

慢慢你就习惯了。

学了很多语言的一个副作用就是，许多时候会突然忘了你要用的语言的语法，然后乱写一气。。。

Answer 8

晕了，呵呵。

用 haskell 时第一个符号问题是 "/=" 表示不等于，而不是“！=”，呵呵。

Answer 9

看一下数学上的类似行为：

集合 A 到 B 的映射记为 A -> B

集合 A 的元素 a 映射为集合 B 的元素 b 记为 a |-> b