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

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

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

12 ответов

11 просмотров

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Какой-то там пердун в 90-х решил, что есть какая-то разная типизация. Кого вообще это волнует?
КТ315
49
void terminal_scroll() { memmove(terminal_buffer, terminal_buffer + VGA_WIDTH, buffer_size - VGA_WIDTH); memset(terminal_buffer + buffer_size - VGA_WIDTH, 0, VGA_WIDTH); ...
Егор
47
Всем привет! Подскажите, пожалуйста, в чем ошибка? Настраиваю подключение к MySQL. Либы лежат рядом с exe. Все как по "учебнику"
Евгений
16
А можете как-то проверить меня по знаниям по ассемблеру?
A A
132
Здравствуйте! У меня появилась возможность купить книгу "Изучай Haskell во имя добра!". Но я где-то слышал, что эта книга устарела. Насколько это правда??
E
22
Здравствуйте! Я вот на stepic решаю задачи на хаскеле https://stepik.org/lesson/8443/step/8?unit=1578 мой код import Data.List (isInfixOf) removing :: String -> [String] ->...
E
10
Камрады, кто тесно работал с vtv, хотел уточнить. Ширина column задаётся жёстко на этапе создания дерева или можно в рантайме ее менять программно (не мышкой)?
Ed Doc
10
да ладно ... что там неочевидного ? глянуть в исх-ки датасета и/или кверика чтобы понять в каком месте и как выполняется обращения к св-вам blablaSQL - минутное дело, даже е...
Сергей
7
Здесь для arm кто-нибудь кодит ?
Nothing
52
Всем привет, у меня есть сервер принимающий входящие HTTP подключения, как проверить, что подключение было через прокси или нет, есть какие то поля в заголовках по которым мо...
DS
8
Карта сайта