::
и []
могут быть представлены соответственно List<_>.Cons
и List<_>.Empty
. Имейте в виду, что первый берет кортеж в качестве аргумента. Они здесь, поэтому списки могут быть созданы на языках, отличных от F #.
> 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 = []