type expr = Plus of expr * expr
        | Minus of expr * expr
        | Times of expr * expr
        | Divide of expr * expr
        | Value of string
        ;;

let rec to_string e =
  match e with
    Plus (left, right)   -> "(" ^ (to_string left) ^ " + " ^ (to_string right) ^ ")"
  | Minus (left, right)  -> "(" ^ (to_string left) ^ " - " ^ (to_string right) ^ ")"
  | Times (left, right)  -> "(" ^ (to_string left) ^ " * " ^ (to_string right) ^ ")"
  | Divide (left, right) -> "(" ^ (to_string left) ^ " / " ^ (to_string right) ^ ")"
  | Value v -> v
  ;;

data Maybe a = Nothing | Just a

*Main> :i MyNum
data MyNum = One | Two
*Main> :t One
One :: MyNum
*Main> :t Two
Two :: MyNum

V>Не хочешь посмотреть на описание размеченных объединений в CORBA IDL и заодно посмотреть, что генерируют компиляторы на эти описания? А потом мы возьмем эти 3 примера: IDL, CLR и Хаскель, и посмотрим, что там происходит в процессе динамического определения типа.

Агент пришёл к клиенту с покетом продать товар. Утром себестоимость была 10, днём, когда агент пришёл к клиету — 11. После начисления всех скидок конечная цена стала 10.5. Компании выгоднее продать по 11 оформив 0 прибыли, чем продать по 10.5 и заплатить налог за продажу ниже себестоимости.

A>Плати штрафы за такую "оптимизацию"

V>>Не хочешь посмотреть на описание размеченных объединений в CORBA IDL и заодно посмотреть, что генерируют компиляторы на эти описания? А потом мы возьмем эти 3 примера: IDL, CLR и Хаскель, и посмотрим, что там происходит в процессе динамического определения типа.

  enum ScriptType {
    eInstallExec,
    eInstallCopy
  };
  
  union InstInfoBody switch(ScriptType) {
      case eInstallExec: CommandExecInfoBody CommandExec;
      case eInstallCopy: CopyInstallInfo CopyInstall;
    };

[Serializable, RepositoryID("IDL:EsdAgent/ScriptType:1.0"), IdlEnum]
public enum ScriptType
{
    eInstallExec,
    eInstallCopy
}

[Serializable, RepositoryID("IDL:EsdAgent/InstInfoBody:1.0"), IdlUnion]
public struct InstInfoBody : IIdlEntity, ISerializable
{
    // Fields
    private CommandExecInfoBody m_CommandExec;
    private CopyInstallInfo m_CopyInstall;
    private ScriptType m_discriminator;

    // Methods
    // приведу тело одного метода только
    public CommandExecInfoBody GetCommandExec() 
    {
        if (this.m_discriminator != ScriptType.eInstallExec)
            throw new BAD_OPERATION(0x22, CompletionStatus.Completed_MayBe);

        return this.m_CommandExec;
    }

    public CopyInstallInfo GetCopyInstall();
    public void SetCommandExec(CommandExecInfoBody val);
    public void SetCopyInstall(CopyInstallInfo val);

    // Properties
    public ScriptType Discriminator { get; }
}

    switch(instInfoBody.Discriminator) {
    case ScriptType.eInstallExec:
        CommandExecInfoBody exec = instInfoBody.GetCommandExec();
        ...
        break;
    }

if(Type1^ var1 = dynamic_cast<Type1>(obj)) { 
    // use var1 here ...
} else if (Type2^ var2 = dynamic_cast<Type2>(obj)) { ... }
} else { ... }

case obj of
    (Type1 var1) -> ...
    (_) -> case obj of 
        (Type2 var2) -> ...
        (_) -> ...

*Main> :t One
One :: MyNum
*Main> :t Two
Two :: MyNum

data MyNum a = One | Two | Three a

EC>Я не понимаю почему ты не хочешь провести границу между абстракцией и её реализацией.

V>data MyNum a = One | Two | Three a
V>

*Main> :i MyNum
data MyNum = One Int | Two String
*Main> :t One 1
One 1 :: MyNum
*Main> :t Two "2"
Two "2" :: MyNum

V>В случае алгебраических типов он 1-в-1 реализует "то, что он реализует".

EC>>Я не понимаю почему ты не хочешь провести границу между абстракцией и её реализацией.