LO
и какой в МЛ механизм солвинга и деривации модулей?
Явный
Size: a a a
2020 May 26
LO
Руками
Oℕ
Явный
лучший
AA
и какой в МЛ механизм солвинга и деривации модулей?
никакого. слыш, работать! и все
A
лучший
они тоже хотят имплиситный (и ещё 10 лет будут хотеть с их темпами)
AA
хотели когда-то но недостаточно чтоб вмерджить
AV
Наверняка окажется что мешает инлайнить/специализировать
а структурки ж у нас тоже не заинлайнятся особо?
AV
Хорошо инлайниться правльно написанные классы типов только будут
LO
тем что хаскельные - это какое-то странное штучное говно, которое нужно сочинять куда применить
Только что придумали использовать для протаскивания рекордов с диктами
LO
а структурки ж у нас тоже не заинлайнятся особо?
Ну... да
AV
тем что хаскельные - это какое-то странное штучное говно, которое нужно сочинять куда применить
А клапауций на них расширяемые рекорды делал
AA
а структурки ж у нас тоже не заинлайнятся особо?
структурки хорошо инлайнятся (но похуже словарей тайпклассов)
LO
Клапауций недавно предсказывал популярность хаскельных имплицитов
AA
А клапауций на них расширяемые рекорды делал
не я, я просто нашел ету жемчужину
AV
А кто-то сделал?
AA
А кто-то сделал?
Thomas Jaeger
Oℕ
Только что придумали использовать для протаскивания рекордов с диктами
ну т.е. вот за всё время возникло две идеи, куда их применить, ни одна не будет реализована полноценно
MK
кол стек!
LO
ну т.е. вот за всё время возникло две идеи, куда их применить, ни одна не будет реализована полноценно
Так у нас тайпклассы есть когерентные для всего остального
AA
ну т.е. вот за всё время возникло две идеи, куда их применить, ни одна не будет реализована полноценно
побольше, но при них не особо думают, это точно. фича НЕИССЛЕДОВАНА