AA
нынешним хаскелистам нужно побольше кейвордов и бойлерплейта, больше ничего не нужно
Size: a a a
2021 February 10
AA
это вот сначала люди за let и let rec топят, а потом и вывод типов им не нужен
вывод типов еще раньше не нужен стал, кстати
MP
нынешним хаскелистам нужно побольше кейвордов и бойлерплейта, больше ничего не нужно
не ну чо сразу
MP
я хочу больше синтаксиса как list comprehension
KV
Нужно ли судить тех, кто использует do-нотацию?
P
Нужно ли судить тех, кто использует do-нотацию?
да. и отправить смотреть, как в идрисе сделано
AA
Нужно ли судить тех, кто использует do-нотацию?
если альтернатива появится, а все равно будут использовать - то обязательно нужно
MP
а как в идрисе сделано?
MP
так это аппликатив
MP
в смысле как сделать зависимость b от a?
KV
Чё вообще можно в теории сделать, чтобы результат монадического вычисления запихнуть в несколько разных мест без введения трубных идентификаторов?
KV
О, придумал. Загнать всё в какую-нибудь структуру и фокусироваться траверсалами туда, где результат нужен
MK
Стрелки!
JS
через let
под суд!
KV
Стрелки!
То же самое же