A
Size: a a a
2020 May 16
A
и ответ там получается из "потому что мы хотим композицию функций"
A
/me пытается вспомнить, когда и где он делал композицию функций которая бы отличалась от "просто взять оттуда и передать сюда"
S
aragaer пытается вспомнить, когда и где он делал композицию функций которая бы отличалась от "просто взять оттуда и передать сюда"
A
то есть весь секрет в одном из хаскелевских операторов со стрелочками, который я все равно пока не смогу запомнить
A
и как раз в этом у меня наверно и привычка - если функции можно скомпозить as-is, то я еще понимаю, что их можно скомпозить. Если для этого требуется какое-то еще телодвижение (развернуть монаду), то я отказываюсь от композиции и делаю все руками
A
условно в примере с маллоком я мог бы сделать "композицию"
void *result = malloc();
bzero(result);
return result;
A
но когда мне скажут "а ты знаешь, что malloc может вернуть null и тогда не надо делать bzero", то я скажу "ок, облом с композицией, придется разворачивать и проверять"
A
а если бы оно было монадой, то есть волшебный оператор >>>===>>> (или типа того), который это сделает сам
a
начинаю читать про монады в бикатегориях... надо сначала прочитать про бикатегории видимо
Мой поинт был в том, что может, не надо читать про бикатегории, и у хаскеллистов есть какие-то другие пути.
Я так и не въехал. Чтоб въехать, надо упражнения решать, тут двух мнений быть не может.
Я так и не въехал. Чтоб въехать, надо упражнения решать, тут двух мнений быть не может.
A
а где их найти?
A
а, стоп, у меня ж где-то было сохранено
a
а где их найти?
Вот это тоже вопрос.
MacLane в своей известной книге Categories for Working Mathematician обсуждает монады, и у него там есть упражнения, но не факт, что обсуждает таким образом (бикатегории), и там упражнения для математиков. И это глава VI, так что без бэкграунда шансов мало, что будет понятно.
MacLane в своей известной книге Categories for Working Mathematician обсуждает монады, и у него там есть упражнения, но не факт, что обсуждает таким образом (бикатегории), и там упражнения для математиков. И это глава VI, так что без бэкграунда шансов мало, что будет понятно.
A
не, я нашел сохраненный курс по хаскелу, вроде там будут упражнения на монады
ND
Есть же category theory for programmers
m
Есть же category theory for programmers
от иниго мантойа?
ND
от иниго мантойа?
Бартосз Милевски
PG
Бартосз Милевски
Бартош
ND
Бартош
Наверное, не силен в именах