टुपल्स के लिए यह इनलाइनिंग क्यों काम नहीं करती है?

Question

इस मामले में इनलाइनिंग क्यों काम नहीं करती है?

type TupleBuilder() = 
    static member inline Cons(a,(b,c)) = (a, b, c) 
    static member inline Cons(a,(b,c,d)) = (a, b, c, d) 
    static member inline Cons(a,(b,c,d,e)) = (a, b, c, d, e) 

let inline cons h t = TupleBuilder.Cons(h,t) 

TupleBuilder.Cons करने के लिए कॉल मेरा पीछा संकलक त्रुटि

A unique overload for method 'Cons' could not be determined based on type 
information prior to this program point. A type annotation may be needed. 
Candidates: 
static member TupleBuilder.Cons : a:'a0 * ('a1 * 'a2 * 'a3 * 'a4) -> 'a0 * 'a1 * 'a2 * 'a3 * 'a4, 
static member TupleBuilder.Cons : a:'a0 * ('a1 * 'a2 * 'a3) -> 'a0 * 'a1 * 'a2 * 'a3, 
static member TupleBuilder.Cons : a:'a0 * ('a1 * 'a2) -> 'a0 * 'a1 * 'a2 

Answer 1

इनलाइन किए जाने वाले अकेले कॉल साइट के लिए अधिभार निर्णय में देरी नहीं करता है देता है। आपको ओवरलोड कॉल पर type A or type B जोड़ने की आवश्यकता है।

आप इसे आसानी से इस मामले में एक द्विआधारी ऑपरेटर का उपयोग करके कर सकते हैं:

type TupleBuilder() = 
    static member inline ($) (_:TupleBuilder, (b,c))  = fun a -> (a, b, c) 
    static member inline ($) (_:TupleBuilder, (b,c,d)) = fun a -> (a, b, c, d) 
    static member inline ($) (_:TupleBuilder, (b,c,d,e)) = fun a -> (a, b, c, d, e) 

let inline cons h t = (TupleBuilder() $ t) h 


// val inline cons : h:'a -> t: ^b -> 'c 
    when (TupleBuilder or ^b) : (static member ($) : TupleBuilder * ^b -> 'a -> 'c) 

tuples के साथ और अधिक इनलाइन मस्ती के लिए, this old blog post पर एक नजर है।