Jak mogę odrzucić powrót do typu, który wcześniej miał wartość?

Question

Bardzo często podczas pisania kodu rodzajowe w F # wpadnę sytuacji podobnej do tego (wiem, że to zupełnie nieefektywne, tylko dla celów demonstracyjnych):

let isPrime n = 
    let sq = n |> float |> sqrt |> int 
    {2..sq} |> Seq.forall (fun d -> n % d <> 0) 

Dla wielu problemów można używać statically resolved types i uzyskać nawet zwiększenie wydajności dzięki inline.

let inline isPrime (n:^a) = 
    let two = LanguagePrimitives.GenericOne + LanguagePrimitives.GenericOne 
    let sq = n |> float |> sqrt |> int 
    {two..sq} |> Seq.forall (fun d -> n % d <> LanguagePrimitives.GenericZero) 

Powyższy kod nie zostanie skompilowany, ponieważ górny limit sekwencji jest zmiennoprzecinkowy. Nongenerically, mógłbym właśnie odesłać z powrotem do int na przykład.

Ale kompilator nie pozwoli mi użyć dowolnego z nich:

• let sq = n |> float |> sqrt :> ^a
• let sq = n |> float |> sqrt :?> ^a

a te dwa prowadzą do InvalidCastException:

• let sq = n |> float |> sqrt |> box |> :?> ^a
• let sq = n |> float |> sqrt |> box |> unbox

Również upcast i downcast są zabronione.

let sq = System.Convert.ChangeType(n |> float |> sqrt, n.GetType()) :?> ^a działa, ale wydaje się bardzo uciążliwe dla mnie.

Czy istnieje sposób, który przeoczyłem lub czy muszę używać ostatniej wersji? Ponieważ ostatnia z nich również pęknie na bigint, której potrzebuję dość często.

Answer 1

Z trick FsControl możemy zdefiniować funkcję rodzajowe fromFloat:

open FsControl.Core 

type FromFloat = FromFloat with 
    static member instance (FromFloat, _:int32) = fun (x:float) -> int x 
    static member instance (FromFloat, _:int64) = fun (x:float) -> int64 x 
    static member instance (FromFloat, _:bigint) = fun (x:float) -> bigint x 
let inline fromFloat (x:float):^a = Inline.instance FromFloat x 

let inline isPrime (n:^a) = 
    let two = LanguagePrimitives.GenericOne + LanguagePrimitives.GenericOne 
    let sq = n |> float |> sqrt |> fromFloat 
    {two..sq} |> Seq.forall (fun d -> n % d <> LanguagePrimitives.GenericZero) 

printfn "%A" <| isPrime 71 
printfn "%A" <| isPrime 6L 
printfn "%A" <| isPrime 23I 

Inline.instance został zdefiniowany here.