MB
GAT и HKT примерно одно и то же
Size: a a a
2020 October 18
MB
specialization лучше
KR
GAT, specialization, const generics
в🧇
GAT/HKT, specialization, const generics
в🧇
+existential types
KR
Polonius: hold my beer!
DF
Экзистенциальные ето просто Дин трейты
DF
Там в хаскеле механизм примерно такой же просто вместо Ви таблицы там словарь
MB
Polonius: hold my beer!
По-моему chalk куда сильнее ждут
в🧇
Dollar Føølish
Экзистенциальные ето просто Дин трейты
вообще совсем абсолютно нет
KR
По-моему chalk куда сильнее ждут
Больше как блокер ГАТов и т.п.
MP
Черт, а dyn Trait уже давно в стейбле, теперь проблема с async fn dyn trait
MB
Больше как блокер ГАТов и т.п.
Ну да, на него наверное все улучшенмя трейтов завязаны
в🧇
Mag Pie
Черт, а dyn Trait уже давно в стейбле, теперь проблема с async fn dyn trait
не понимаю какие проблемы с
dyn Trait, они ещё в edition = 2015 были (не с самой ли первой версии?), футуры тоже можно бокситьKR
не понимаю какие проблемы с
dyn Trait, они ещё в edition = 2015 были (не с самой ли первой версии?), футуры тоже можно бокситьЯ думаю подразумевалось async fn в трейтах, и impl Trait в трейтах
MP
Я думаю подразумевалось async fn в трейтах, и impl Trait в трейтах
Точно, я все перепутал
DF
вообще совсем абсолютно нет
DF
Просто они не входят в хаскель 98 а идут расширением гхц
MB
Dollar Føølish
Хз как в хаскеле, но что ты предлагаешь делать с ассоциированными типами? Тоже боксить?
DF
Ассоциированный тип это часть сигнатуры