Modeling multiple levels of inheritance using discriminated associations

Question

Is there a recommended way to simulate multiple levels of inheritance in F #, presumably using a discriminated union?

Something like the following in C #:

class Expr { }
class SourceExpr : Expr { }
class JoinExpr : SourceExpr { }
class TableExpr : SourceExpr { }

I did this in F #:

type SourceExpr =
    | Join of JoinExpr
    | Table of TableExpr

type Expr = 
    | Source of SourceExpr
    | ...

Is there a better way? Does this have the same polymorphic behavior as inheritance?

Answer 1

. , , (DU). / - , "", DU "". , ( ) . , DU (, ), () , , ( " ".)

, DU, ; , , . , , ; (), , (Draw, Resize,...), .

Answer 2

F # , #.... ... , .

, , , , , , .

, F # #... UNLESS.... .

- ... .

... .... , .... .