F # Parametry funkcji Typ danych

Question

To jest pierwsza linia F #, którą próbowałem pisać, więc przepraszam, bo prawdopodobnie nie znam właściwych słów kluczowych Google do wyszukiwania.

Próbowałem definiowania funkcji tak:

let sigmoid x deriv = if deriv then x * (1 - x) else 1/(1 + System.Math.Exp(-x)) 

To daje mi błąd na System.Math.Exp(-x):

The type 'float' does not match the type 'int' 

Chyba spodziewałem kompilator zrobić typu wnioskowanie na tej funkcji i zdefiniuj x jako zmienną. Czego tu mi brakuje?

Oto cała sprawa, że ​​próbuję podłączyć:

let sigmoid x deriv = if deriv then x * (1 - x) else 1/(1 + System.Math.Exp(-x)) 

[<EntryPoint>] 
let main argv = 
    sigmoid 1.0 false |> printfn "%A" 
    0 

Answer 1

Kompilator wnioskuje x jak int, bo użył go w rzeczach jak 1 - x. Prosta 1 będzie zawsze liczbą całkowitą i można jej używać tylko w wyrażeniach arytmetycznych wraz z innymi liczbami całkowitymi. Twój kod kompiluje się, jeśli zmienisz wszystkie swoje zastosowania z 1 na 1.0, co spowoduje, że będzie to float i może być również wywnioskowane jako jako float.

To różni się od C#, na przykład, co zmusi typy, jeśli to konieczne, a tym samym pozwoli na mieszanie liczb całkowitych i liczb zmiennoprzecinkowych w tych samych wyrażeniach. Może to jednak prowadzić do przypadkowej utraty precyzji w pewnych okolicznościach, podczas gdy F # zawsze zmusza do jawnego stwierdzenia koniecznych konwersji.