Statik olarak çözümlenen bir tür parametresi alabilir miyim?

Question

Diyelim ki böyle bir şeyim var. Derleme yapmıyor, ama yapmaya çalıştığım şeyi görebilirsiniz. Ben her şekilde google denedim, ama hiçbir zar. Bu yapılabilir mi?

let inline read (s:string) : ^x = 
    let parsed = (^x : (static member ofString: string -> ^x option) (s)) 

    // this is the bit I'm not sure how do to. This doesn't compile. 
    // I'm trying to determine what the statically chosen type for ^x is. 
    let t = typeof<^x> 

    match parsed with 
    | Some y -> y 
    | None -> failwithf "can't parse %s into %s" s (t.Name) 

Answer 1

Bu iyi çalışır ve statik olarak çözümlenmiş parametrelere typeof kullanabilirsiniz - Sorun aynı zamanda bir operatör olarak çözümlenebilir, çünkü ayrıştırıcı, <^ başa çıkamaz olmasıdır.

sadece ^x etrafında boşluk ekleyerek kolayca düzeltebilirim:

let t = typeof<^x>