délégués avec des expressions lambda dans F #

Question

Pourquoi ...

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) 

ne compilera pas, lorsque:

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)) 

fait?

La seule différence est que dans le second, ApplyDelegate prend ses paramètres sous la forme d'un tuple.

Cette fonction prend trop d'arguments, ou est utilisé dans un contexte où une fonction ne devrait

Answer 1

Je ne l'ai pas regardé les spécifications pour confirmer, mais je devine que la conversion implicite de "lambda" à "type de délégué nommé" ne se produit que dans un "invocations de membres".

Vous pouvez toujours effectuer la conversion explicite:

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

(L'erreur de diagnostic est assez pauvre, je déposerai un bug.)

EDIT:

Pour les aficionados .. .

Ouais, le spec dit

8.13.6 Conversions dirigées par type lors d'invocations de membres Comme décrit dans Méthode Application Résolution (voir §14.4), deux conversions de type sont appliquées aux invocations de méthode.

Si un paramètre formel est délégué de type DelegateType, et un argument réel est syntaxiquement une valeur de fonction (fun ...), le paramètre est interprété comme si elle avait été écrite nouvelle DelegateType (fun ...).

que les lambdas soient convertis automagiquement pour ne déléguer des types qu'aux "invocations de membres". Dans le cas du membre curry, le premier argument passé est un appel de membre, mais cela retourne une valeur de fonction pour appliquer le second argument, et les invocations de fonction n'ont pas cette règle de conversion implicite.