Не, я понимаю, что веселье с указателями на всё, с которых ещё и const можно снимать, позволяет делать что угодно. Я про поведение тех операций, которые можно сделать и в котлине.
Идея такая - не должно быть способа изменить объект по ссылке так, чтобы сохранённые ссылки также изменились. То есть, велью типы позволяют не беспокоиться о том, что кто-то поменяет объект и твой инвариант нарушится.
Вот эта строчка объясняет, что такое велью типы: Value-based classes are a continuation of data classes, but they are not immutable, but rather, shallow constant. The fields are immutable references, but they can reference mutable types.
Вот эта строчка объясняет, что такое велью типы: Value-based classes are a continuation of data classes, but they are not immutable, but rather, shallow constant. The fields are immutable references, but they can reference mutable types.
вот бы была подержка нескольких полей, а так мне видится как нишевая штука
Просто я автор этого документа, который описывает идеальный мир, в котором есть место для всех kind'ов классов - мутабельных дата классов, велью и иммутабельных.