delegados creando con Lambda Expresiones en F #

Question

¿Por qué ...

type IntDelegate = delegate of int -> unit 

type ListHelper = 
    static member ApplyDelegate (l : int list) (d : IntDelegate) = 
     l |> List.iter (fun x -> d.Invoke x) 

ListHelper.ApplyDelegate [1..10] (fun x -> printfn "%d" x) 

no compilan, cuando:

type IntDelegate = delegate of int -> unit 

type ListHelper = 
    static member ApplyDelegate (l : int list, d : IntDelegate) = 
     l |> List.iter (fun x -> d.Invoke x) 

ListHelper.ApplyDelegate ([1..10], (fun x -> printfn "%d" x)) 

hace?

La única diferencia es que en la segunda, ApplyDelegate toma sus parámetros como una tupla.

Esta función tiene demasiados argumentos, o se utiliza en un contexto donde no se espera una función

Answer 1

No he mirado en la especificación para confirmar, pero estoy adivinando que la conversión implícita de "lambda" a "tipo de delegado con nombre" solo aparece en "invocaciones de miembro".

Siempre se puede hacer la conversión explícita:

ListHelper.ApplyDelegate [1..10] (IntDelegate(fun x -> printfn "%d" x)) 

(El error de diagnóstico es bastante pobre; Archivaré un error.)

EDIT:

Para los expertos '.. .

Sí, el spec dice

8.13.6 Conversiones dirigidas a tipos en las invocaciones de miembros Como se describe en Resolución de la aplicación de métodos (ver §14.4), se aplican dos conversiones dirigidas por tipo en las invocaciones de métodos.

Si un parámetro formal es de tipo delegado DelegateType, y un argumento actual es sintácticamente un valor de la función (divertido ...), entonces el parámetro se interpretarse como si hubiera sido escrito nueva DelegateType (divertido ...).

que lambdas se convierten automágicamente para delegar tipos solo en "invocaciones de miembros". En el caso del miembro curried, el primer argumento pasado es una invocación de miembro, pero luego devuelve un valor de función para aplicar el segundo argumento, y las invocaciones de función no tienen esta regla de conversión implícita.