http://www.ibm.com/developerworks/cn/java/j-cb07186.html
:
比如：
1:2:3:[]
而常用的
[1,2,3]
是一种语法糖（http://en.wikipedia.org/wiki/Syntactic_sugar）
函数定义语法：
函数名 :: 参数类型中可能用到的基本类型 基本类型名 => 参数1 -> 参数2 -> 返回值类型
函数名 模式1 = 实现1
函数名 模式2 = 实现2
......
元素 <- 集合
名称 :: 定义
基本类型
a b
Tuple
a b
(x1, y1)(x2, y2)
List
像
x:xs这样的模式可以将list的头部绑定为x，尾部绑定为xs。如果这list只有一个元素，那么xs就是一个空list。
[]
(x:xs)
(x:_)
(x:y:[])
原文：http://www.cnblogs.com/long123king/p/3528363.html