यूनियनों का भेदभाव एक दूसरे से संदर्भित कर सकता है?

Question

मैं भेदभाव वाले संघों का उपयोग कर एक अभिव्यक्ति वृक्ष का निर्माण कर रहा हूं। नीचे दिया गया कोड:

type IntExpression = 
    | TrueIsOne of BoolExpression 

type BoolExpression = 
    | LessThan of IntExpression * IntExpression 
    | And of BoolExpression * BoolExpression 
    | Or of BoolExpression * BoolExpression 
    | Bool of bool 

त्रुटि उत्पन्न करता है क्योंकि BoolExpression परिभाषित नहीं किया गया है। परिभाषाओं को स्वैप करने के परिणामस्वरूप रिवर्स (IntExpression परिभाषित नहीं किया गया है) जैसा कि आप उम्मीद करेंगे।

क्या इसके आसपास कोई रास्ता है?

Answer 1

हाँ, and समूह के लिए अंतर-निर्भरता के साथ प्रकार परिभाषाओं का उपयोग:

type IntExpression = 
    | TrueIsOne of BoolExpression 

and BoolExpression = 
    | LessThan of IntExpression * IntExpression 
    | And of BoolExpression * BoolExpression 
    | Or of BoolExpression * BoolExpression 
    | Bool of bool 

Answer 2

शायद यह काम करेगा:

type IntExpression = 
    ... 
and BoolExpression = 
    ... 

(सूचना this page on MSDN से लिया।)

Answer 3

"और" पारस्परिक निर्भरताओं वाले प्रकारों के लिए आम तौर पर काम करता है। यही है, यह माउ, कक्षाओं, अभिलेखों और पारस्परिक रूप से पुनरावर्ती कार्यों द्वारा दिखाए गए अनुसार, भेदभाव वाले संघों जैसे सभी प्रकार के लिए काम करता है।

गैर समाप्त उदाहरण:

let rec foo x = bar x 
and bar x = foo x 

[एफ # आगे प्रकार घोषणाओं] की