Pourquoi F # ne peut-il pas déduire le type de cette instruction?

Question

/// I can't do this 
let max = float n |> sqrt |> int64 |> Math.BigInt 

/// But this is allowed 
let max = Math.BigInt(float n |> sqrt |> int64) 

Answer 1

Les constructeurs de classe ne peuvent pas être utilisés sans arguments. Vous pouvez écrire

let max = float n |> sqrt |> int64 |> (fun x -> Math.BigInt(x)) 

si vous le souhaitez. (. A première vue, je ne sais pas la raison de cette restriction, cependant)

Answer 2

Dans ma version de F # (1.9.4.19 sur Mono), les deux versions échouent avec:

The member or object constructor 'BigInt' takes 0 argument(s) but is here given 1. The required signature is 'Math.BigInt()'.

Je peux utiliser

let max = float n |> sqrt |> int64 |> Math.BigInt.of_int64 

pour obtenir un bigint ou

let max = float n |> sqrt |> int64 |> Math.BigInt.FromInt64 

pour obtenir un Math.BigInt.