АГ
Обосновать категорно HTTP - это не один десяток лет нужен
Size: a a a
2020 April 19
AA
Что у Гонзалеса полезного рабоче-крестьянского есть?
foldl turtle
AV
Категорно обосновывают 1.3 человека
AV
Отсаньте от них, они вам не мешают
AV
Хотите симпл хороший хаскель - делайте код, который просто работает
АГ
Не, мы инклюзивные, мы не гоним никого. Пусть обосновывают. Лишь бы нас не прогоняли
AV
Да кому вы нужны
AA
Обосновать категорно HTTP - это не один десяток лет нужен
"категорно обосновано" в случае гонзалеса это "скобочки переставил, и если тайпчекнулось то ниче вроде сразу так обосраться или загореться не должно"
AV
Пока никто не учит других как жить его не прогоняют
АГ
"категорно обосновано" в случае гонзалеса это "скобочки переставил, и если тайпчекнулось то ниче вроде сразу так обосраться или загореться не должно"
То есть, он плохо обосновывает категорно? Примерно как все остальные?
AV
А как начинают ерундой махать, так сразу ответ ожидаемый
AA
То есть, он плохо обосновывает категорно? Примерно как все остальные?
нет, не плохо, нет, не как остальные
AV
foldl turtle
foldl очень ок
ЗП
foldl очень ок
хотя автор идеи все тот же Лаарховен)
АГ
Без учения как жить, к сожалению, нельзя. Это необходимо, если мы не хотим терять знание. Ну как та династия мудрецов, где каждый следующий передавал меньше знаний, чем предыдущий, и однажды по теореме вложенных отрезков знание превратилось в 0
AA
ну автор той части идеи, что это апликатив (но автор остального тоже не гонзалес)
ЗП
ну автор той части идеи, что это апликатив (но автор остального тоже не гонзалес)
насколько я помню это статья 2008 года и в комментах Лаарховен написал часть про аппликативность
AA
ЗП
еще у того же Кметта потом появился folds
ЗП
там набор таких идей на правую и левую свертки