AS
так, я уже готовился выдать товарищу RO на часик после этого, но он вышел сам
А, оки!
Size: a a a
2020 July 15
O
так, я уже готовился выдать товарищу RO на часик после этого, но он вышел сам
F
KV
какое?
Ну они там появились из-за того, что ленивые вычисления плохо предсказуемы и пихать туда ио низя, так что нужен был механизм упорядочивания, ну это монады и есть
AS
Ну они там появились из-за того, что ленивые вычисления плохо предсказуемы и пихать туда ио низя, так что нужен был механизм упорядочивания, ну это монады и есть
Вот я за такое понимание
KV
Другой вопрос, что монады нужны не только для этого
KV
И этот вопрос решается не только монадами
AS
Другой вопрос, что монады нужны не только для этого
Да, только это уже не к вопросу новичка
KV
Да, только это уже не к вопросу новичка
Новичок может справедливо спросить, почему в скале есть монады, если там не ленивые вычисления
DR
Ну они там появились из-за того, что ленивые вычисления плохо предсказуемы и пихать туда ио низя, так что нужен был механизм упорядочивания, ну это монады и есть
Монады для IO и сохранения ссылочной прозрачности были предложены Вадлером. Я не вижу никакой связи именно с ленивостью.
DR
ну чай не первый день бред пишут в интернете
KV
Монады для IO и сохранения ссылочной прозрачности были предложены Вадлером. Я не вижу никакой связи именно с ленивостью.
Связь в том, что с энергичными вычислениями можно просто писать без монад и всё, а с ленивыми нельзя, нужны монады или иной механизм. Исторически, в хаскелле они так и появились, как решение этой проблемы
NI
Связь в том, что с энергичными вычислениями можно просто писать без монад и всё, а с ленивыми нельзя, нужны монады или иной механизм. Исторически, в хаскелле они так и появились, как решение этой проблемы
Изначально, IO предлагали в виде обработки ленивого списка.
DR
монады явно описывают data flow, поэтому порядок вычисления в языке значения не имеет
χλ
Существуют ли какие-то рекомендации по использованию Control.Arrow? Сравнима ли популярность стрелок с оной у монад?
IR
Что есть
CUIntPtr? Pointer-sized uint?MK
Скорее uint*
MK
Хотя может и нет
🌚D
Что есть
CUIntPtr? Pointer-sized uint?C pointer to uint?
*uint