типы - варианты
От: para  
Дата: 17.03.10 08:16
Оценка:
есть такой тип:
  [Record]
  internal variant V
  {
  | V1 { i : int; }
  | V2 { i : int; d : double}  
  | V3 { y : char; }    

    public s : string;  
  }

Можно ли как-нибудь обобщить варианты V1 b V2 ?
например хотелось бы типа такого:
  [Record]
  internal variant V
  {
  | variant V1 
    {
    | V2 { d : double; }
      i : int
    }
  | V3 { y : char; }    

    public s : string;  
  }

сразу отвечу на вопрос зачем:
такая схема наследования лучше отражает предметную область.
а "вариантная" нотация более наглядная и простая.
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.