AA
хотя уже не смешно, на самом деле Ж(((
Size: a a a
2020 December 12
DB
по типу самое модное — typerepmap вроде
здорово, конечно, но не то, кажетс
DB
Пока что data-has самое подходящее
JS
здорово, конечно, но не то, кажетс
да, оно без информации на уровне типов
MK
Не понимаю как data-has можно называть открытыми произведениями вообще
MK
Там же нет ничего для расширения
Только проекции
Только проекции
DB
На ходу расширить не выйдёт, действительно.
DB
Я вот ещё думаю, может это действительно HList
MK
А какие у тебя требования к этой штуке?
JS
Там же нет ничего для расширения
Только проекции
Только проекции
withReaderT (HCons x)а что ещё нужно?
MK
withReaderT (HCons x)а что ещё нужно?
Какой HCons в data-has?
JS
withReaderT (x :*:)DB
А какие у тебя требования к этой штуке?
Ну чтобы я мог набрасывать основному типу свойства. Типа как mix-in on-fly в Scala)
MK
Тогда data-has не в тему
DB
А шо в тему? HList ил обёртка над ним?
JS
Тогда data-has не в тему
чего не хватает?
MK
чего не хватает?
Последний раз когда я туда смотрел, data-has это был просто тайп класс для проекций
MK
Или там что-то ещё есть?
DB
чего не хватает?
Я не понимаю, как это использовать так, как я хочу. Можешь сниппет набросать?
JS
Я не понимаю, как это использовать так, как я хочу. Можешь сниппет набросать?
нет, я могу неправильно понимать твою задачу. сначала ты набросай прототип решения