Nessun nome di argomento nella dichiarazione astratta?

Question

Questa è la dichiarazione tipica di un membro astratto in F #:

abstract member createEmployee : string -> string -> Employee 

Si definiscono i tipi di argomenti, ma non i loro nomi. Senza nomi, come si spiega quale parametro è quando si implementa l'interfaccia? In altre parole, come fai a sapere se l'interfaccia dovrebbe essere implementata come 1- o 2-?

1- member this.createEmployee firstName lastName = ... 
2- member this.createEmployee lastName firstName = ... 

Sto osservando il problema da una prospettiva errata (essendo utilizzato per C#)?

Answer 1

Che dire:

abstract member createEmployee : firstName:string -> lastName:string -> Employee 

?

Answer 2

La sintassi per questo è superfine IMO. Ho voluto fare questo con i parametri come una tupla (come un metodo di C#) e solo attraverso tentativi ed errori ho fatto trovare questo lavoro:

abstract member PutChar : x:int * y:int * c:char * flag:Background -> unit 

E questa variante più brutta funziona anche:

abstract member PutChar : x : int * y : int * c : char * flag : Background -> unit 

Qui di seguito sono le cose che sentivano tutti ragionevole, ma venuto a mancare con lo stesso errore - Unexpected symbol ':' in member definition.:

// ALL BAD vvv 
    abstract member PutChar : (x:int * y:int * c:char * flag:Background) -> unit 
    abstract member PutChar : (x:int, y:int, c:char, flag:Background) -> unit 
    abstract member PutChar : (x:int) * (y:int) * (c:char) * (flag:Background) -> unit 
    // ALL BAD ^^^