Usar lista contra operadores (a :: b) como una función

Question

F # le permite convertir operadores en funciones rodeándolos con (): por ejemplo, (+) es del tipo int -> int -> int.

¿Es posible hacer esto con el operador de listas contra, ::?

No se comporta como un operador binario normales:

FSI> (::);; 

    (::);; 
    -^^ 

c:\temp\stdin(3,2): error FS0010: Unexpected symbol '::' in expression. 
Expected ')' or other token. 

Y el método List.Cons toma una tupla; no es curry

(Es útil poder hacer esto. Por ejemplo, puede usarlo para implementar map in terms of fold).

Answer 1

parafraseado de http://cs.hubfs.net/forums/permalink/11713/11713/ShowThread.aspx#11713

(::) es una unión 'constructor' discriminado para el list<'a> type, y así planteó la cuestión de si un valor de función de sus argumentos se deben al curry (como +) o tupled (como todos los constructores DU). De cualquier manera, parece sospechoso/inesperado para algunas personas, por lo que F # simplemente no permite la construcción.

Por supuesto, siempre puedes escribir, p.

let cons x y = x :: y 

y utilizar cons, o simplemente utilizar un lambda fun x y -> x::y, si desea una "función de prefijo al curry de dos argumentos" para esto.

Answer 2

Lamentablemente, no, no se puede. :: no es un operador, sino una "palabra clave simbólica" de acuerdo con la gramática del lenguaje (consulte la sección 3.6 of the spec), al igual que :?> y algunas otras. Sin embargo, el lenguaje no parece completamente coherente aquí, ya que hay algunas palabras clave simbólicas que se pueden tratar como si fueran operadores (al menos (*) y (<@ @>)).

Answer 3

:: y [] pueden ser representados por List<_>.Cons y List<_>.Empty respectivamente. Tenga en cuenta que el primero toma una tupla como argumento. Estos están aquí para que las listas se puedan crear en idiomas distintos de 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 = []