제네릭 형식의 예쁜 프린터를 fsi에 추가하려면 어떻게합니까?

Question

F # Interactive (fsi)에서는 AddPrinter 또는 AddPrinterTransformer을 사용하여 대화 형 세션의 유형에 대해 예쁜 인쇄를 제공 할 수 있습니다. 제네릭 형식의 프린터를 추가하려면 어떻게합니까? 유형에 와일드 카드 _를 사용하면 작동하지 않습니다

> fsi.AddPrinter(fun (A : MyList<_>) -> A.ToString());; 

프린터는 사용되지 않습니다. 하나, 내가 원하는 것이 아니다

> fsi.AddPrinter(fun (A : MyList<'T>) -> A.ToString());; 

    fsi.AddPrinter(fun (A : MyList<'T>) -> A.ToString());; 
    -------------------------------^^ 

d:\projects\stdin(70,51): warning FS0064: This construct causes code 
to be less generic than indicated by the type annotations. The type 
variable 'T been constrained to be type 'obj'. 

: 형식 매개 변수에 넣는

는 경고를 표시합니다.

Answer 1

일반적인 경우에는 작동하지 않지만 자신의 유형으로 작업하고있는 것으로 보입니다 (적어도 귀하의 예에서는) ToString에 영향을 미치지 않는다고 가정하면 다음과 같이 할 수 있습니다. 이 :

type ITransformable = 
    abstract member BoxedValue : obj 

type MyList<'T>(values: seq<'T>) = 
    interface ITransformable with 
    member x.BoxedValue = box values 

fsi.AddPrintTransformer(fun (x:obj) -> 
    match x with 
    | :? ITransformable as t -> t.BoxedValue 
    | _ -> null) 

출력 :

> MyList([1;2;3]) 
val it : MyList<int> = [1; 2; 3] 

타사 일반적인 당신이 AddPrintTransformer 사용할 수있는 유형 및 반사의 경우는 값을 표시 할 수 있습니다. 소스가 있다면 인터페이스가 더 쉽습니다.