मैं जेनेरिक प्रकार के लिए एफएसआई के लिए एक सुंदर प्रिंटर कैसे जोड़ूं?

Question

एफ # इंटरएक्टिव (एफएसआई) में, आप इंटरैक्टिव सत्र में एक प्रकार के लिए सुंदर प्रिंटिंग प्रदान करने के लिए 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 इस्तेमाल कर सकते हैं के लिए मूल्य प्रदर्शित करने के लिए मिलता है। यदि आपके पास स्रोत है तो एक इंटरफ़ेस बस आसान है।