Generyczne zero dla funkcji ogólnej

Question

Mam funkcję obliczania skumulowanej sumy sekwencji.

let cumsum<'T> = Seq.scan (+) 0 >> Seq.skip 1 >> Seq.toArray 

Choć wygląda rodzajowa, całkowitą 0 sprawia, że ​​non-generic, a więc nie mogę wywołać funkcję z sekwencją pływaków.

Czy istnieje ogólne zero, które może zastąpić moje zakodowane na stałe 0, lub może inny sposób na uczynienie tej funkcji ogólną.

Answer 1

Można użyć GenericZero prymitywny, ale trzeba dokonać funkcji inline i sprawiają, że wyraźnie funkcją (teraz czynność opisana w point-free style), ponieważ w wartościach zasada ta nie może być wykonana inline.

let inline cumsum s = 
    s |> Seq.scan (+) LanguagePrimitives.GenericZero |> Seq.skip 1 |> Seq.toArray 

Zauważmy, że usuwając parametr typu 'T statyczne ograniczenia członkowskie są wywnioskować automatycznie przez kompilator:

val inline cumsum : 
    s:seq< ^a> -> ^b [] 
    when (^b or ^a) : (static member (+) : ^b * ^a -> ^b) and 
      ^b : (static member get_Zero : -> ^b) 

Answer 2

LanguagePrimitives.GenericZero 

:)