В
Size: a a a
В
Dv
Dv
IC
Dv
TK
VA
VA
Г
AH
AH
type Base() = class end
type Derived() = inherit Base()
let foo (a: Derived): Base = a // нельзя без явного каста
let bar (a: Base) = ()
bar (Derived()) // изи, компилятору похер
VK
type Base() = class end
type Derived() = inherit Base()
let foo (a: Derived): Base = a // нельзя без явного каста
let bar (a: Base) = ()
bar (Derived()) // изи, компилятору похер
VK
AH
AH
AH
let foo (a: Derived): Base = a // нельзя без явного каста
VK
VK
TK