X: int;
Y: string;
Z: A;
}
тип
type AFields =
| X of int
| Y of string
| Z of A
надёжнее, чем написав его руками?
Что значит получить? Ведь это абсолютно разные типы. В одном случае присутствуют все три значения, в другом - одно из трех. Это product type и sum type.
Возможно, на fspickle что-то эдакое и можно сделать, но я бы не рассчитывал.
Обсуждают сегодня