IK
А сам настаивал, что теоркат поможет в хаскеле кодить
Ну имхо оно может реально сильно помочь для осознания происходящего.
Size: a a a
2020 May 23
AV
Теоркат на уровне первых двух страниц Пирса, CT for CS
AV
Или странички на wiki. И то не обязательно
AV
Он нужен максимум чтобы кметто-werse понимать, но в низкоуровневые библиотеки никому обычно лезть не надо
IK
Он нужен максимум чтобы кметто-werse понимать, но в низкоуровневые библиотеки никому обычно лезть не надо
Ну понятно что если тебе просто базу читать и в серванте возвращать, то тебе не сильно поможет
Oℕ
Ну имхо оно может реально сильно помочь для осознания происходящего.
Например чего
Oℕ
[потирает ручки]
AV
Я бы сказал, что нормальный теоркат не нужен
YS
Ну имхо оно может реально сильно помочь для осознания происходящего.
Например?
IK
Например чего
Ну лично я не понимал монады пока с точки зрения теорката не посмотрел
Oℕ
Щас мы покажем сошл фрикшен
Oℕ
Ну лично я не понимал монады пока с точки зрения теорката не посмотрел
Расскажите, что такое монада с точки зрения теорката
AV
Знать что такое функтор, просунутого, моноид, полугруппа, монада, категория это не теоркат имхо
YS
Ну лично я не понимал монады пока с точки зрения теорката не посмотрел
Как помогло понимание теоркатных монад?
Oℕ
Тоже хочу понять
YS
В хаскеле
AV
Тем более задумываться о монаде как тройке операций кажется сложно
IK
Налетели)
ХГ
И пока не перейдёшь порог, не понятно зачем это нужно и что ты этим приобретаешь
Скажу больше - когда ты стоишь на самом пороге и смотришь внутрь. ты уже видишь, что ничего не получишь и время было потрачено зря. Но назад пути нет.
AV
Я вижу какие-то плюсы в азах, но называть это изучением теорката это неуважение к тем, кто его на самом деле изучает