L
Size: a a a
2021 March 28
[
>> не кононичный же, это вроде такое же легаси как и return
Возможно я - небазированный чумба, который пришёл с императивных яп, но для меня каноничный выход из ду-нотации это всё же return, потому что он больше по смысловому контексту подходит🙃
L
Возможно я - небазированный чумба, который пришёл с императивных яп, но для меня каноничный выход из ду-нотации это всё же return, потому что он больше по смысловому контексту подходит🙃
Нет выхода из ду-нотации. Последнее выражение всегда выход. Хоть с return хоть без
[
А если, к примеру, надо вставить в середину приведённое к монаде значение, то тут да, тут pure
[
Нет выхода из ду-нотации. Последнее выражение всегда выход. Хоть с return хоть без
Ну, я имею "выход из do-нотации с поднятием результата в контекст монады"
[
Ну в общем если мне понадобится поднять в монадический контекст значение в конце монады, то я буду использовать return, а на всех других строчках и вне do - pure 🌚
L
Ну в общем если мне понадобится поднять в монадический контекст значение в конце монады, то я буду использовать return, а на всех других строчках и вне do - pure 🌚
Отличный способ запутать человека непривычного к хаскелу! Одобряю. Если цель такая конечно.
[
Такая-такая
[
А ты думал, в сказку попал?
к
Ну в общем если мне понадобится поднять в монадический контекст значение в конце монады, то я буду использовать return, а на всех других строчках и вне do - pure 🌚
ну, осуждаю, потому что все еще думаю что это в голове неправильная интуиция у тебя, но че поделать
в конце логичен pure как раз потому что ты поднимаешь значение до монады, а не возвращаешь его. В доке return тоже прописан как "Inject a value into the monadic type." и все, никакого возврата
в конце логичен pure как раз потому что ты поднимаешь значение до монады, а не возвращаешь его. В доке return тоже прописан как "Inject a value into the monadic type." и все, никакого возврата