F # la funzione di chiamata in linea con le variabili di tipo

Question

stavo cercando di definire un caso più generale per l'operatore (!) Come segue,

let inline (!) (cell : ^a) = 
    (^a : (member Value : ^b) cell) 

in modo che funzioni non solo per ref tipo, ma qualsiasi tipo con un Value membro.

> !(ref 10) ;; 
val it : int = 10 

> !(lazy 5) ;; 
val it : int = 5 

Ma problema sorge quando si tenta di applicarlo a un tipo con le variabili di tipo,

> let getValue (c : 'a ref) = !c ;; 

    let getValue (c : 'a ref) = !c ;; 
    ------------------^^ 

C:\Users\User\AppData\Local\Temp\stdin(6,19): warning FS0064: This construct causes code to be less generic than indicated by the type annotations. The type variable 'a has been constrained to be type 'obj'. 

val getValue : c:obj ref -> obj 

mentre funziona bene se espando la funzione inline.

> let getValue (c : 'a ref) = c.Value ;; 

val getValue : c:'a ref -> 'a 

Qualcuno sa perché questo accade? Grazie.

Answer 1

Poiché la funzione non è in linea, i vincoli non funzioneranno.

Il problema è che il sistema di tipo .NET non può memorizzare il tipo di vincoli che F # può utilizzare in inline.

Di conseguenza, quando si dispone di una funzione non inline che utilizza una funzione inline in questo modo, si ottiene un errore.