Некоторые делал, некоторые нет

это тайпсейф датастор, 6 глава

Я вот списки доказывал помню

Было тяжело прям

это пока не доказательства

Когда доказывал, не знал куда вообще идти дальше. В какую сторону двигаться

куснул чутка универской жизни))

особенно на старших курсах

особенно если у тебя как у полунина группа похуистов которые сами тебя спрашивают как делать

Вы там какую-то дичь гоните. Объектно Ориентированное Программирование ИМХО это как DDD - просто подход. Тут суть в том что ты прежде всего начинаешь с выделение объектов и связей между ними. Как они будут взаимодействовать а не с того как там факториал вычислить.  Другое дело Объектно Ориентированный Язык Программирования. Вот он да - сложно без динамик диспатча сделать.  Не надо Вообше общий подход путать с конкретной реализации в ЯП его возможностей.

В общем не надо путать ООП и ОО ЯП

Ну ты говорил про молодых

https://t.me/c/1062361327/29508 @Psilon заебись Идрис, да?

Именно так должно быть и никак иначе?)

static typing is a lie

Не в статике дело а в идрисе

Он сырой настолько насколько Раст хуевый

В чём физическая разница между async || и || async?

И то и другое замыкание, которое возвращает футуру

Если говорить по простому то никакой