Освен built-in типове, има и compound (съставни или агрегатни) които са: tuple, record (които се конструират compile-time), variant (които се конструират run-time).
Като гледам http://caml.inria.fr/pub/docs/manual-ocaml/manual003.html#htoc6
и на други разни места из ръководството за езика - variant ти дава възможност да дефинираш типове данни и операции върху тях.

Аз го преведох като вариращ конструктор.

аз бих го превел "вариант конструктор" или по-дълго "конструктор на тип вариант".

ОК. Нека приемем, че дефинираният тип е вариант. Тогава ми харесва малко по-кратката форма вариантен конструктор или конструктор на варианти. Второто ми харесва повече.

Поздрави:
ал_шопов
_______________________________________________
Dict mailing list
[email protected]
http://zver.fsa-bg.org/cgi-bin/mailman/listinfo/dict

Raspunde prin e-mail lui