YS
Size: a a a
2020 May 15
AV
Типы могут быть параметризованными, т.е. принимать аргументом другой тип: M A - это тип M принимающий аргументом тип A
AI
Кажется даже функторы не приходилось ни разу писать
они дерайвятся, Карл
AV
Иногда называют generics в других языках (близко)
YS
они дерайвятся, Карл
Вот именно
YS
Поэтому и не писал
YS
А тут пытались напугать аппликативами(
AI
а аппликативы не писал потому что свои типы не писал, юзал готовые?
YS
а аппликативы не писал потому что свои типы не писал, юзал готовые?
Дерайвил
AV
Можно пример с делением до конца рассмотреть
AI
давно я в хаскель не смотрел, вроде когда последний раз игрался, они не умели дерайвиться
AV
И кстати попробовать понять как типы помогают в мышлени 🙂 /не факт, что у меня получится правильным путём провести, но можно попробовать/
YS
давно я в хаскель не смотрел, вроде когда последний раз игрался, они не умели дерайвиться
Ну с ньютайпа
AI
ну ньютайп это не новый тип
YS
Формально новый)
AV
Не должны дерайвиться, если только для свободных структур
YS
А свои да - не писал свои конструкторы типов, где бы мне пригодился аппликатив
AI
ладно, уходишь от содержательной дискуссии
YS
Ну почему
YS
Свои конструкторы, где мне был нужен аппликатив - не писал