V
Там не хватает HKT
Трейты разве не HKT?
Size: a a a
2020 March 08
V
Прост я ещё ни разу не чувствовал особой необходимости делать типы типов, но не трейты и не интерфейсы
DS
чем-то прийдется пожертвовать
Ну вот в чем и проблема.
𝛈µ
Совершенно не проблема
DS
Трейты разве не HKT?
Нет, ты можешь иметь одно без другого, см. Rust, собственно
V
Нет, ты можешь иметь одно без другого, см. Rust, собственно
А что это? Что я могу сделать с Хкт, чего не могу с трейтом или интерфейсом?
DS
Совершенно не проблема
Я не очень много вижу смысла в скале на дотнете, если она не сможет преимущества его рантайма использовать.
Вариант со специализацией всего и вся ещё мог бы быть норм, но он тоже не идеален.
Вариант со специализацией всего и вся ещё мог бы быть норм, но он тоже не идеален.
A
#define fn auto
p
Хкт это hight kind traits?
AZ
Ну типа у тебя такая задача "хочу скалу на дотнете"
такой задачи вроде не стоит
DS
А что это? Что я могу сделать с Хкт, чего не могу с трейтом или интерфейсом?
Попробуй без HKT (или GAT, если речь про раст) выразить тайпкласс функтора
Т8
такой задачи вроде не стоит
Додж поставил же
DS
И без хака с lightweight HKT, т.к. на практике он неюзабельный полностью
DS
Хкт это hight kind traits?
Higher kinded types
𝛈µ
Я не очень много вижу смысла в скале на дотнете, если она не сможет преимущества его рантайма использовать.
Вариант со специализацией всего и вся ещё мог бы быть норм, но он тоже не идеален.
Вариант со специализацией всего и вся ещё мог бы быть норм, но он тоже не идеален.
какие преимущества?
DS
какие преимущества?
Кастомные value типы и reified дженерики для них, лёгкий интероп с нативным кодом и т.п.
AZ
Т-34 85
Додж поставил же
нет, речь шла про "как портировать скалу на цлр чтобы это имело ценность"
AZ
фан проекты одного инвалида ал-я ironpython не обсуждаем
𝛈µ
Кастомные value типы и reified дженерики для них, лёгкий интероп с нативным кодом и т.п.
сделай отдельное апи под вальютайпы