A particularly important example is that of data constructors, especially if they have higher-ranked types.
It is, perhaps, helpful to view the constructors of a datatype as building larger "new" elements from smaller "old" ones.
Inlining is also possible (with some risk of code blow-up) for sets with just a few constructors, although we have not implemented this.
A data type declaration defines the structure of a recursive datum and the data constructor names.
Also, we need a constructor for creating new processes.
In particular, strictness annotations that may accompany the declaration of a data constructor are not apparent in the concrete syntax of a constructor application.
Derived comparisons always traverse constructors from left to right.
The system then loads the type files and builds the structure of type constructors.
中文繁体
裝配者, 裝配人員, 建造者…
More中文简体
装配者, 装配人员…
MoreEspañol
constructor, -ora…
MorePortuguês
construtor, -ora…
MoreFrançais
constructeur/-trice…
MoreČeština
stavitel…
MoreDansk
fabrikant, konstruktør…
MoreIndonesia
pembangun…
More