Qual è la differenza tra il significante generica 'e il simbolo^in F # metodo firme

Question

ho capito il segno di spunta per indicare un parametro generico, come in:

Seq.append : seq<'T> -> seq<'T> -> seq<'T> 

ma che cosa il cursore significa, come in:

Seq.average : seq<^T> -> ^T 

Answer 1

La firma dettagliato è:

Seq.average: ss <^T> ->^T (richiede^T con membro statico (+) e^T con membro statico DivideByInt e^T con membro statico zero)

differenza Seq.append, Seq.average bisogno di alcuni altri vincoli sul tipo di elementi. In particolare:

       _ DivideByInt (s1 + s2 + ... + sn) n where n <> 0 
Seq.average {s1; s2;...; sn} =/
           \_ ^T.Zero where n = 0 

Come si può vedere, sia (+), DivideByInt e Zero sono richiesti in modo che Seq.average<^T> ha un senso.

Informazioni utili sui farmaci generici sono disponibili here^MSDN.

Answer 2

il cursore indica che il parametro tipo deve essere risolto staticamente, solitamente perché ci sono particolari limitazioni sul tipo che deve essere soddisfatto e che non può essere espresso in normale metadati NET. Ad esempio, non è possibile chiamare Seq.average "test" anche se "test" è un seq<char>, perché char s non supportano le operazioni aritmetiche necessarie.

Queste variabili di tipo risolte staticamente derivano solo dalle definizioni inline e quando tale funzione viene utilizzata, il suo corpo è in linea in modo che il compilatore possa inserire le istruzioni specifiche specifiche del tipo.

Answer 3

Anche se, come altri hanno sottolineato, per convenzione ^T viene utilizzato con inline e 'T non è, i due sono intercambiabili ^(talvolta?).

Quindi, tecnicamente, la risposta alla tua domanda è "non c'è differenza".

kvb sottolineato: ci è una differenza. Ma non è così chiaro come indicano le altre risposte. In alcuni casi, i due sono intercambiabili, per esempio,

let inline add (x:^T) (y:^T) = x + y 
let inline add (x:'T) (y:'T) = x + y 

o

let f (x:^T) = !x 
let f (x:'T) = !x 

La convenzione è chiaro, mentre l'implementazione non è.