DS
Плохо в голове умещается как люди могут одновременно обвинять тайп-левел в хаскеле в не-боринговости, а потом идти и хвалить раст, где половина либ с тайп-левел магией на associated типах.
Size: a a a
2020 May 23
к
associated типы это же детская игрушка, почему функциям инстансов тайпклассов меньше удивляются чем типам инстансов тайпклассов
LO
Плохо в голове умещается как люди могут одновременно обвинять тайп-левел в хаскеле в не-боринговости, а потом идти и хвалить раст, где половина либ с тайп-левел магией на associated типах.
У раста синтаксис привычный прост
λ
Плохо в голове умещается как люди могут одновременно обвинять тайп-левел в хаскеле в не-боринговости, а потом идти и хвалить раст, где половина либ с тайп-левел магией на associated типах.
s/половина либ с тайп-левел магией на associated типах/лайфтаймы/
VZ
Загнать в башню и поджечь
У меня фаер резист
AA
Давайте уясним одну простую вещь. Не существует никакой инстанции, которая раздает мандаты на мнение, если пройден экзамен на квалификацию. В противном случае это уже на грани тоталитаризма
существует, конечно. называется академия! проверяет твою квалификацию в какой-то области, выдает мандат на высказывания квалифицированного мнения - ученую степень
DS
associated типы это же детская игрушка, почему функциям инстансов тайпклассов меньше удивляются чем типам инстансов тайпклассов
Ну для многих интересных вещей и этого хватает.
Увы, в расте они чуть контуженные из-за того, что GAT'а нет, но более-менее жить можно.
Увы, в расте они чуть контуженные из-за того, что GAT'а нет, но более-менее жить можно.
DS
С GAT было бы, конечно, на порядки лучше
DS
Можно было бы хотя бы итератор с ссылками на что-то из self без приключений и HRTB из трейта вернуть.
VZ
Что такое GAT?
λ
Ну для многих интересных вещей и этого хватает.
Увы, в расте они чуть контуженные из-за того, что GAT'а нет, но более-менее жить можно.
Увы, в расте они чуть контуженные из-за того, что GAT'а нет, но более-менее жить можно.
Собственно в этом основная проблема тайп-левел магии в расте: она там вся дико страшная из-за того, что фич не хватает
LO
У меня фаер резист
Иммолейт импрувэд, это значит что вероятность его резиста КРАЙНЕ МАЛА
DS
Что такое GAT?
Generic Associated Types:
DS
Собственно в этом основная проблема тайп-левел магии в расте: она там вся дико страшная из-за того, что фич не хватает
Так она и в хаскеле тоже не очень приятная, если уж быть честным.
λ
Так она и в хаскеле тоже не очень приятная, если уж быть честным.
Потому что фич не хватает
DS
Хых, 4 года пропозалу
Он, кстати, на найтли работает с лайфтаймами более-менее.
BK
кстати, товарищи, как думаете, куда лучше перекатываться плюсовику (чтобы работать, занятия хаскелем в свободное время включены по умолчанию): в раст, эрланг или хаскелл?
λ
кстати, товарищи, как думаете, куда лучше перекатываться плюсовику (чтобы работать, занятия хаскелем в свободное время включены по умолчанию): в раст, эрланг или хаскелл?
Чтобы работать из этих трёх точно хаскель