使用list cons运算符(a::b)作为函数

转述自 http://cs.hubfs.net/forums/permalink/11713/11713/ShowThread.aspx#11713

(::) 是的有区别的联合“构造函数” list<'a> type ,因此提出了一个问题,即是否作为函数值,其参数是否应被current(例如 + )或tupled(像所有DU构造函数一样)。对于某些人来说,这两种方式都显得可疑/出乎意料,所以F#只是不允许这种构造。

你当然可以写,例如。

let cons x y = x :: y

使用 cons ,或者只使用lambda fun x y -> x::y ,如果您想为此使用“curried prefix function of two args”(两个参数的curried前缀函数)。

:: 不是运算符,而是根据语言语法的“符号关键字”(参见第节 3.6 of the spec ),也一样 :?> (*) 和 (<@ @>) ).

:: [] 两者都可以用 List<_>.Cons 和 List<_>.Empty

> List.Cons(4, List.Empty);;
val it : int list = [4]

> 4::[];;
val it : int list = [4]

> List<int>.Cons(4, List<int>.Empty);;
val it : int list = [4]

> List.Cons;;
val it : 'a * 'a list -> 'a list = <fun:clo@24-7> //'

> List<int>.Empty;;
val it : int list = []