Сплошная мутабельность 😤

Ну можно иначе сделать

Только скобки порвуться от кол-ва аргументов
и получится лапша

я неправильно выразился. Эмулировать можно, но это не будет тем, чем надо, эмуляция она и есть эмуляция
Вот эти вот в папире описанные легковесные тайп конструкторы, особенно примененные в котлине, будут врать. Я сейчас точно примеров не вспомню, это связано с тем, что тебе из интерфейса с evidence-ом, например, нужно руками апкастить до конкретного типа, что вообще-то не well-behaved
да и вообще необходимость апкастить это нихера не саунд

где ?

при .value = ... ?

Что такое FofT?

вот, например, нужно сериализовать авро. идём в официальные доки для жвм либы и видим целую портянку с кучей классов, фабриками итд
https://cwiki.apache.org/confluence/display/AVRO/FAQ#FAQ-Serializingtoabytearray

а в скриптухе, я это одним методом.
https://github.com/mtth/avsc#examples

и такого в жвм ну очень дофига

А F<G<_>> ты как выразишь?

Как минимум (а мы еще не знаем что внутри dsl функций)

Потому что я напоминаю, системы типов с хкт почти все почти тьюринг-полные (или хотя бы подчиняются лямбда-исчислению)

И? При большом желании и наличии конкретного типового способа сериализовать/десериализовать данные эти фабрики прячутся в две функции за примерно полторы минуты.

ну вот я и думаю что это может быть обычный билдер

При этом дорасширить, я не знаю, новым транспортом код на фабриках раз плюнуть, а с готовыми функциями — хуй знает ещё, насколько это легко.

обсуждения где быстрей лопатой жсон перекладывается, мдаа

Вот все вычисления на типах, которые делает компилятор, надо расписывать, это да, неудобно, но не невозможно.

Понятное дело, что a.copy(b = a.b.copy(c = a.b.c.copy(...))) намного лучше :D

Поэтому велью классы сейчас на стадии дизайна.

Кстати да, после появления вэлью классов можно будет официально хоронить дслки?

С чем же Хади носиться будет тогда?..