Perché non ci sono conversioni implicite in F #?

Question

F # non supporta le conversioni implicite. Capisco che questa è una caratteristica, ma non capisco perché le conversioni implicite siano proibite anche quando nessuna informazione andrebbe persa. Per esempio:

sqrt 4  // Won't compile. 

non vedo un problema implicitamente la conversione del int 4 ad un float, che è quello che sqrt richiede.

Qualcuno può far luce su questo?

Answer 1

Poiché il controllo del tipo dipende quasi dalla classica ricostruzione di tipo forte. L'esempio richiede la coassione di tipi che è possibile tramite i cast impliciti o un sistema di tipi deboli, ma questi non sono consentiti in questo tipo di inferenza di tipo.

Dal F # viene da OCaml Ha una ricostruzione tipo che cerca di garantire la correttezza del vostro programma per essere estremamente pedante: l'algoritmo cerca di unificare le intere tipologie di vostro programma per una buona digitazione e questo non può essere fatto se una regola di tipo debole consente di considerare un numero intero come un float.

Answer 2

Vedi anche

http://lorgonblog.wordpress.com/2009/10/25/overview-of-type-inference-in-f/

che descrive come sovraccarico interagisce male con inferenza. Le conversioni implicite causano molti degli stessi problemi dell'overloading e interagiscono in modo non corretto con la diagnostica degli errori.

Answer 3

In aggiunta alle risposte precedenti, digitare le conversioni tra numero intero e float sono not actually free in termini computazionali; il compilatore è non facendoti un favore "nascondendoli" da te se il tuo obiettivo è scrivere codice ad alte prestazioni. Questa è una delle cose che mi piacciono di OCaml e F #: anche se sono di altissimo livello, devi comunque essere consapevole di quale calcolo stai facendo.