Zero generico per funzione generica

Question

Ho una funzione per calcolare la somma cumulata di una sequenza.

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

Anche se sembra generico, l'intero 0 rende non generico, e pertanto non può chiamare la funzione con una sequenza di galleggianti.

C'è uno zero generico che può sostituire il mio 0 con hardcoded, o forse un modo diverso di rendere generica la funzione.

Answer 1

È possibile utilizzare il GenericZero primitiva, ma è necessario per rendere la vostra funzione inline e renderlo esplicitamente una funzione (in questo momento la funzione è scritto in point-free style) dal momento che in valori di principio non può essere fatta in linea.

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

nota che, eliminando il parametro Type 'T vincoli membro statiche sono dedotte automaticamente dal compilatore:

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 

:)