не устраивает?</irony>
а ты никак за теоркат взялся? о_О мазохизм детектед? 😁😁😁
это все что я знаю)))
а ты это понимаешь или только знаешь?)))
смутно, на самом деле вспоминается еще теория множеств из универского курса, есть какие-то параллели только тут еще более абстракная дичь) примерно как ньютоновская физика включается в ОТО Эйнштейна)
я уже давно забыл про теорию множеств (помню только, что задачки были очень лёгкие) тем не менее, на мой взгляд, теоркат это NIH-синдром, так как достаточно было б теории множеств [но это не точно 😁😁😁]
там на самом деле крутой математический аппарат, который впрочем на практике в программировании не нужон) (кстат Task вроде тоже монада если я правильно понимаю)
скорее уж твой геморрой по извлечению значения из таска это монада :)))
CE это монада) просто её не стали называть монадой чтоб людей не пугать)
CE это monadic context
Строго говоря, Task не является. Там апи не очень.
тебя Влад уже "отпиздил" - не буду добавлять 😁😁😁
Никакой тип сам по себе не является, потому что к нему нужно определить операцию бинда, обладающую определёнными свойствами. Определи такую операцию для таска — и он будет являться.
Обсуждают сегодня