169 похожих чатов

<Irony>А вариант "монада это моноид в категории эндофунктора" уже никого

не устраивает?</irony>

12 ответов

17 просмотров

а ты никак за теоркат взялся? о_О мазохизм детектед? 😁😁😁

srvr4vr
это все что я знаю)))

а ты это понимаешь или только знаешь?)))

srvr4vr- Автор вопроса
dd
а ты это понимаешь или только знаешь?)))

смутно, на самом деле вспоминается еще теория множеств из универского курса, есть какие-то параллели только тут еще более абстракная дичь) примерно как ньютоновская физика включается в ОТО Эйнштейна)

я уже давно забыл про теорию множеств (помню только, что задачки были очень лёгкие) тем не менее, на мой взгляд, теоркат это NIH-синдром, так как достаточно было б теории множеств [но это не точно 😁😁😁]

srvr4vr- Автор вопроса
dd
я уже давно забыл про теорию множеств (помню тольк...

там на самом деле крутой математический аппарат, который впрочем на практике в программировании не нужон) (кстат Task вроде тоже монада если я правильно понимаю)

srvr4vr
там на самом деле крутой математический аппарат, к...

скорее уж твой геморрой по извлечению значения из таска это монада :)))

CE это монада) просто её не стали называть монадой чтоб людей не пугать)

srvr4vr
там на самом деле крутой математический аппарат, к...

Строго говоря, Task не является. Там апи не очень.

Pavel S
CE это монада) просто её не стали называть монадой...

тебя Влад уже "отпиздил" - не буду добавлять 😁😁😁

Ilya L
Строго говоря, Task не является. Там апи не очень.

Никакой тип сам по себе не является, потому что к нему нужно определить операцию бинда, обладающую определёнными свойствами. Определи такую операцию для таска — и он будет являться.

Похожие вопросы

Обсуждают сегодня

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
Ребят в СИ можно реализовать ООП?
Николай
33
https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_h_common.erl#L174 https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_olp.erl#L76 15 лет назад...
Maksim Lapshin
20
Карта сайта