(
А причем здесь хкт и реализации чего-то?
Size: a a a
2020 March 27
AN
А причем здесь хкт и реализации чего-то?
Для того, чтобы сделать твой любимый set->set кто-то должен откуда-то взять конструктор сета.
AN
Откуда?
(
Откуда?
Из интерфейса, например
AN
Из интерфейса, например
А откуда инстанс этого интерфейса. Напиши, как ты это видишь
(
А откуда инстанс этого интерфейса. Напиши, как ты это видишь
fun <T<_> : Mappable, E, R, G> T<E>.doubleMap(f1: (E) -> R, f2: (R) -> G): T<G>
AN
fun <T<_> : Mappable, E, R, G> T<E>.doubleMap(f1: (E) -> R, f2: (R) -> G): T<G>
Откуда конструктор-то
(
Откуда конструктор-то
Зачем конструктор? Я только знаю, что это T можно мапать
(
Значит, я могу мапнуть два раза
(
Если нужен конструктор - значит, это специализация реализации
AM
fun <T<_> : Mappable, E, R, G> T<E>.doubleMap(f1: (E) -> R, f2: (R) -> G): T<G>
А где взять инстанс Mappable, добавить его в дерево наследования стандартным коллекциям?
(
А где взять инстанс Mappable, добавить его в дерево наследования стандартным коллекциям?
Например, да
(
Но некоторым это не понравится
(
Да и мне не очень нравится
(
Я бы новый коллекционный стдлиб сделал
(
AM
Ну вот поэтому я и не понимаю, нафига это в отрыве от тайпклассов обсуждать
AM
Были бы тайпклассы -- присобачено это было бы снаружи спокойно.
AN
Если это мембер метод или ссылается на мембер метод, то зачем там HKT?
AM
(я всё ещё не уверен, что ради этого вообще всю стдлибу вверх дном кто-то будет переворачивать)