BP
typealias SomeModel = Model<*, *> не компилится, можно записать подругому?
any
Size: a a a
2020 March 19
AM
Поддерживаю мысль, что это оффтоп, кстати 😅
М
не работает Any и T: Any
BP
не работает Any и T: Any
Тоже ругается ? Там в дженериках есть ограничения по типу ?
H
Rust, Haskell, Kotlin но с Arrow Meta через несколько месяцев :)
Anyway, очень близко к оффтопу :)
Anyway, очень близко к оффтопу :)
Кстати, я пока не добрался до этого, а вот товарищ сказал, что посмотрел на Arrow и забил на Котлин, потому что там все плохо. В подробности не ударился при этом) Интересно было бы послушать мнение тех, кто не забил сразу - насколько это годная либа для ФП? Если, к примеру, с Cats сравнить?
М
Тоже ругается ? Там в дженериках есть ограничения по типу ?
где именно "там" ?
H
В Arrow, как я его понял
BP
где именно "там" ?
В Model
М
H
Мол, много всего вручную делать надо, в нормальных ФП ориентированных языках все лучше и смысла дальше копаться в Котлин он для себя не обнаружил
BP
Не заметил, а что за ошибка
М
Не заметил, а что за ошибка
VP
Кстати, я пока не добрался до этого, а вот товарищ сказал, что посмотрел на Arrow и забил на Котлин, потому что там все плохо. В подробности не ударился при этом) Интересно было бы послушать мнение тех, кто не забил сразу - насколько это годная либа для ФП? Если, к примеру, с Cats сравнить?
Выглядит как натягивание совы на глобус, но я не шарю в ФП. А ещё они делают плагин к компилятору, с которым это, возможно, выглядит лучше.
VP
Ну это явно баг компилятора же
М
Ну это явно баг компилятора же
да, вопрос в том как записать алиас или типы что бы всё сработало, или оно вообще не будет работать?
VP
да, вопрос в том как записать алиас или типы что бы всё сработало, или оно вообще не будет работать?
Свести к минимальному примеру и понять, что мешает компилятору
В таком виде вроде работает, чего-то не хватает
https://pl.kotl.in/Zgw_xrXv1
В таком виде вроде работает, чего-то не хватает
https://pl.kotl.in/Zgw_xrXv1
I
Мол, много всего вручную делать надо, в нормальных ФП ориентированных языках все лучше и смысла дальше копаться в Котлин он для себя не обнаружил
> в нормальных ФП ориентированных языках все лучше
Походу под фп он понимает type-level programming, тогда да - тут ловить нечего.
H
> в нормальных ФП ориентированных языках все лучше
Походу под фп он понимает type-level programming, тогда да - тут ловить нечего.
А, да, он поклонник хаскелла и скалки
H
> в нормальных ФП ориентированных языках все лучше
Походу под фп он понимает type-level programming, тогда да - тут ловить нечего.
А в чем глобальные ограничения?
I
- нет hkt
- нет тайпклассов (имплиситов)
- нет тайпклассов (имплиситов)