Perché F # non fornisce un sovraccarico personalizzato per l'operatore ==?

Question

I sindacati discriminati e altri tipi primitivi in ​​F # utilizzano l'uguaglianza strutturale per impostazione predefinita e forniscono un override generato per il metodo .Equals. L'operatore di uguaglianza F # differisce da C# in quanto utilizza il metodo .Equals anche per i tipi di riferimento, ma quando vengono utilizzati i sindacati discriminati F # da C#, viene utilizzato l'operatore predefinito == per oggetto, che controlla l'uguaglianza di riferimento anziché uguaglianza strutturale.

Perché F # non genera un operatore personalizzato == per i tipi di unione discriminati in modo che == fornisca il comportamento previsto quando viene utilizzato in altri linguaggi .NET?

Answer 1

Tale comportamento è definito dalla lingua che si sta utilizzando e non dalla lingua di origine del tipo che si sta utilizzando.

Answer 2

io non sono il # team di F, quindi posso solo speculare, ma qui ci sono un paio di possibili motivi:

1. Se si desidera utilizzare l'uguaglianza strutturale all'interno di C#, si può semplicemente utilizzare il Equals metodo. C# fornisce dei modi per testare due distinti tipi di uguaglianza - perché F # dovrebbe costringerli a comportarsi nello stesso modo quando un potrebbe preferire essere in grado di usare l'uguaglianza di riferimento?

2. Se si vuole forzare C# per usare l'uguaglianza strutturale, è facile farlo da soli:

   type T = A | B of int with 
       static member op_Equality(t:T,t2:T) = t = t2 
       // or even static member (=)(t:T, t2:T) = t = t2 
   

3. C'è un costo di sviluppo per qualsiasi funzione, quindi, anche se ci fosse un evidente beneficio per la generazione automatica di un op_Equality, potrebbe essere stato rilasciato a favore di funzionalità con priorità più alta.