БГ
изобретаешь фп язык с чистыми функциями?
Вообще мне больше интересно в плане распараллеливания
Size: a a a
2021 January 14
AT
любые чистые функции можно распараллелить без всякого дерева
БГ
Ну и сайд-эффект функциям можно же просто раскидать "зависимость" в порядке в котором они в коде
БГ
А нечистоту функции вроде как можно выловить анализом кода
AT
не уверен, что всегда
БГ
любые чистые функции можно распараллелить без всякого дерева
Мне вот интересно было, кстати. Всё что делает I/O это же не чистые функции, так?
БГ
И как с этим живёт хаскель/лисп/етц?
AT
лисп тут особо ни при чем, а в хаскеле ио это монада
БГ
лисп тут особо ни при чем, а в хаскеле ио это монада
А кто такие монады?
AT
А кто такие монады?
Ребята, не стоит вскрывать эту тему. Вы молодые, шутливые, вам все легко. Это не то. Это не Чикатило и даже не архивы спецслужб. Сюда лучше не лезть. Серьезно, любой из вас будет жалеть. Лучше закройте тему и забудьте, что тут писалось. Я вполне понимаю, что данным сообщением вызову дополнительный интерес, но хочу сразу предостеречь пытливых - стоп. Остальные просто не найдут.
это такой способ описания вычислений с контекстом, который позволяет сохранять функции композируемыми. в случае монады ИО контекст - ИО :)
монада это такой тайпкласс, который определяет методы для “засовывания” и “высовывания” значения в/из контекста.
это такой способ описания вычислений с контекстом, который позволяет сохранять функции композируемыми. в случае монады ИО контекст - ИО :)
монада это такой тайпкласс, который определяет методы для “засовывания” и “высовывания” значения в/из контекста.
БГ
Ребята, не стоит вскрывать эту тему. Вы молодые, шутливые, вам все легко. Это не то. Это не Чикатило и даже не архивы спецслужб. Сюда лучше не лезть. Серьезно, любой из вас будет жалеть. Лучше закройте тему и забудьте, что тут писалось. Я вполне понимаю, что данным сообщением вызову дополнительный интерес, но хочу сразу предостеречь пытливых - стоп. Остальные просто не найдут.
это такой способ описания вычислений с контекстом, который позволяет сохранять функции композируемыми. в случае монады ИО контекст - ИО :)
монада это такой тайпкласс, который определяет методы для “засовывания” и “высовывания” значения в/из контекста.
это такой способ описания вычислений с контекстом, который позволяет сохранять функции композируемыми. в случае монады ИО контекст - ИО :)
монада это такой тайпкласс, который определяет методы для “засовывания” и “высовывания” значения в/из контекста.
Типа монада это просто выражение в которое можно что-то впихнуть и с впихнутым редуцировать?
AT
Типа монада это просто выражение в которое можно что-то впихнуть и с впихнутым редуцировать?
это не выражение, а тайпкласс. тип данных, для которого определены методы, как вытащить содержащееся в нем значение, и как засунуть.
AT
Представь себе энам со значением.
IO(x)
IO(x)
AT
но язык со строгой статической типизацией, поэтому нельзя делать IO(x) + y, надо x + y. вся бизнес-логика в чистых функциях.
и вот монада ИО имеет методы, чтоб вытащить из себя чистый x, и засунуть обратно в ИО результат x + y
и вот монада ИО имеет методы, чтоб вытащить из себя чистый x, и засунуть обратно в ИО результат x + y
AT
в войс можешь?
БГ
в войс можешь?
Да
БГ
val = IO()
for func in pipeline:
try:
val = func(val)
except:
break
else:
return val
bb
Ребят, телеграм бот (библиотека айограм) перестал запускаться, работала, потом смотрю ошибку выдает и не запускается:
ERROR:asyncio:Unclosed client session
client_session: <aiohttp.client.ClientSession object at 0x0A19D268>
Что можно сделать?
ERROR:asyncio:Unclosed client session
client_session: <aiohttp.client.ClientSession object at 0x0A19D268>
Что можно сделать?
