p
Операторов должно быть минимум - так как из их обозначения не следует того, что они делают
Size: a a a
2020 February 07
λ
Это необходимые операторы, без которых было бы намного хуже чем с ними
Сначала приведите пример тасклокал контекста, о котором каждый сервис его использующий может знать не больше, чем ему нужно, а потом поговорим о необходимом и лучшем.
p
Ясно, фанатик
λ
Простейшая задача, решение которой очень сильно облегчает жизнь в программировании асинхронщины, всё ещё не решена нормально в ИП
p
ИП?
λ
Императивное программирование
P
Сначала приведите пример тасклокал контекста, о котором каждый сервис его использующий может знать не больше, чем ему нужно, а потом поговорим о необходимом и лучшем.
java: CompletableFuture
λ
Бывают ненормальные решения, но им необходимо слушать скедулер, приперключении таска мутировать тредлокал и заниматься всякой такой фигнёй. При этом комбинатор local нормально не работает
r
Опять чушь про ТК. Не нужно о ней ничего знать, чтобы писать или читать хаскель
Путаем знание с изучением. Изучать ТК или теорию групп действительно не нужно. Но эффективная работа без знания принципов не получится. Будет как "добавляем и убираем
& и *, пока rustc не удовлетворится"P
Бывают ненормальные решения, но им необходимо слушать скедулер, приперключении таска мутировать тредлокал и заниматься всякой такой фигнёй. При этом комбинатор local нормально не работает
чёт слишком спаггетно звучит
λ
чёт слишком спаггетно звучит
Как и почти всё в ИП, сорри
P
Как и почти всё в ИП, сорри
s/, сорри/ в моей голове
S
Как и почти всё в ИП, сорри
Как и почти всё в ИП в моей голове
λ
red75prime
Путаем знание с изучением. Изучать ТК или теорию групп действительно не нужно. Но эффективная работа без знания принципов не получится. Будет как "добавляем и убираем
& и *, пока rustc не удовлетворится"Вы путаете знание тайпкласса Monad из хаскеля и знание монады из ТК
A
Простейшая задача, решение которой очень сильно облегчает жизнь в программировании асинхронщины, всё ещё не решена нормально в ИП
Но ведь фп и ип ортогональны. Нам ведь монады для того и нужны, чтобы определить ПОСЛЕДОВАТЕЛЬНОСТЬ действий.
r
Вы путаете знание тайпкласса Monad из хаскеля и знание монады из ТК
Разве это так важно, что к набору интуитивных представлений, сформированных в голове, после изучения haskell'я не приклеена метка "категория Hask"?
P
Но ведь фп и ип ортогональны. Нам ведь монады для того и нужны, чтобы определить ПОСЛЕДОВАТЕЛЬНОСТЬ действий.
не ортогональны, под капотом ты всё ещё байтики перекладываешь с памяти в регистры и обратно
λ
red75prime
Разве это так важно, что к набору интуитивных представлений, сформированных в голове, после изучения haskell'я не приклеена метка "категория Hask"?
С точки зрения ТК многие вещи связанные с монадами в хаскеле это free теоремы, которые проистекают из свойств языка. В этом плане монада их ТК куда более сложная структура, чем монада в хаскеле.
DF
Все равно учить формализм хаскеля это лучше чем учить стандарт с++
λ
Изучив хаскель ты не знаешь автоматически ТК, изучив ТК ты не знаешь автоматически хаскель. Хаскель лишь адаптирует некоторые понятия из ТК под свои нужды, при этом специализируя их и сильно упрощая.