Các công đoàn có thể phân biệt đối xử có liên quan đến nhau không?

Question

Tôi đang xây dựng một cây biểu hiện bằng cách sử dụng các công đoàn phân biệt đối xử. Mã bên dưới:

type IntExpression = 
    | TrueIsOne of BoolExpression 

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

ném lỗi vì BoolExpression không được xác định. Trao đổi các định nghĩa chỉ là kết quả ngược lại (IntExpression không được định nghĩa) như bạn mong đợi.

Có cách nào khác không?

Answer 1

Có, sử dụng and vào nhóm định nghĩa kiểu với liên phụ thuộc:

type IntExpression = 
    | TrueIsOne of BoolExpression 

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

Answer 2

Có lẽ điều này sẽ làm việc:

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

(Thông tin lấy từ this page on MSDN.)

Answer 3

"và" hoạt động thường cho các loại có phụ thuộc lẫn nhau. Nghĩa là, nó hoạt động cho tất cả các loại, chẳng hạn như các công đoàn phân biệt đối xử, như được hiển thị bởi Mau, các lớp, các bản ghi và các hàm đệ quy lẫn nhau.

không chấm dứt dụ:

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