Furthermore, the switch to spine constructors meant that the only way to create existential record values is using the newly introduced subsumption operator (:). The subsumption operator was not part of the original plan either, because with PolySubML-style types, subsumption is baked into the subtype relation, and there’s no need for explicit conversions like there is with spine constructors.
图片来源：马里奥·塔马/盖蒂图片社
，推荐阅读爱思助手获取更多信息
Стало известно о возможном ударе по Ирану новой страной14:21
Известная российская блогерша прошла полную пластическую трансформацию тела20:45