Oℕ
а если нормальным образом сделать - пишется
Size: a a a
2020 January 29
Oℕ
вот я теперь и пытаюсь понять, что за херню я сделал, и как она соотносится с нормальными монадами
AG
ну выглядит как будто в замыканиях и проблема
AG
там же наверное какой то свой хом
Oℕ
ну да, если сделать через флаттен или через хомсеты то ок
Oℕ
но я думаю, а это что
Oℕ
оно ведь ну типа как типы сходятся же
Oℕ
это же должно быть что-то, оно не может быть ничем
AG
когда категорщики видят программистские модели, они реагируют примерно как хаскелисты при виде пхп
AG
"у вас же тут все функторы Set->Set, как вы вообще можете в этом разбираться"
ᛒ
"у вас же тут все функторы Set->Set, как вы вообще можете в этом разбираться"
Oℕ
"у вас же тут все функторы Set->Set, как вы вообще можете в этом разбираться"
ну вот я типа пытаюсь натыкать разницу теперь между
разницу между
[Scask, Scask] -> Scask
и
[Scask, Scask] -> [Scask, Scask]
первое должно наследовать ништяки, который благодаря тому, что в Сет
второе благодаря тому, что ендофунтор
разницу между
[Scask, Scask] -> Scask
и
[Scask, Scask] -> [Scask, Scask]
первое должно наследовать ништяки, который благодаря тому, что в Сет
второе благодаря тому, что ендофунтор
AG
я бы засумонил иваныча :)
Oℕ
он щас злой сидит, у него девопсы не могут раббет суппортеть
Oℕ
сидить матюгается по кд, как камиль говорит
Oℕ
Как дела, Алекс
Oℕ
AG
да я ж выше писал как
AG
сижу курю инфу про банки, адвокатов и миграционную полицию