Продолжаю работу с ментатами 🤓
( мда, а уж как сорм-кураторы выгорают от математики и кампутер сайнса 🙈 )


...В старой версии моего pet-проекта в ECS для перечисления всех сущностей с заданной комбинацией компонентов использовались итераторы. Код выглядел ужасно. Теперь я использую ranges из C++23: пайпы с ленивыми map и filter. Две строки кода, вместо целого файла, и ни одного лишнего класса.
 
...Когда я читал первые части про HoTT, я подумал: "Кажется, эта модель мышления именно то, чего не хватало для представления и выражения структурной связанности между разными структурами данных, как типами."
Я вспомнил про АТД, про триплы Хоара, про то, что это очень полезные штуки для нагнетания локальной формальности в частях системы, домена. Это не критика Майера или Хоара, просто это разные уровни - мета, и... походу, HoTT это даже не мета-мета модель, а фундаментальная модель математического мышления. SoTA – это надо впитывать.
Ваша степень изложения прекрасна, примеры очень хороши. Вы проделали большую работу, и связь с "прикладным" чувствуется уже по первым этим материалам.
 
...Все-таки в первой итерации я ошибочно полагал, что у меня работает Redis
По факту он был неверно настроен и я получил опыт работы с консолью с выявлением включей редиса
То бишь на момент вчера у меня ключи запросов вообще никакие не сохранялись, а теперь их целая плеяда
 
...Но это конечно всё меркнет перед первыми инсайтами от ФП. Когда я читал ваш про ваши курсы перед отправкой заявки, я думал апогеем будет третий курс по ООАП. Он мне понравился, но я почему то ждал каких то приёмов мышления, как вы в серии про распределённые системы использовали моноиды для формализации мерджинга состояний. Ну вот они в целом :) Я интуитивно шёл почему-то, что мы берём имеющиеся свойства чего то, видим это в домене и реализуем в языке. ООП паттерны, как мне это видится на моём текущем уровне, глобально так не меняют мышление. А моноиадьные трансформеры или free monad/extensible effects это, конечно, да....
Мне сложно, конечно, представить, сколько надо идти к такому абстракному мышлению категориями, но выглядит это очень интересно.
Забавно, что ответ в той самой математике, от которой я бегал в универе. Но я был глуп, признаю. Пока я только в Playwright увидел, что локатор в Playwright ведёт себя как bind в ListMonad, применяя следущий локатор ко всем имеющимся элементам + флэт :)
 
=
 
Занятия теннисом в группе, пару раз в неделю -- 100 тыс. рублей в месяц. Индивидуалка -- 100 долларов за 45 минут. А когда реально растёшь на мастерском уровне, дальше надо ехать в европы, и будет вообще ооочень дорого.
 
Я же помогаю желающим ментатам индивидуально по карьере бесплатно, групп у меня вообще не было никогда, и при этом 70% отказываются от помощи, и выбирают режим "ясама". Потому что, чаще всего, "нету времени, загружен на работе". Ну ok, хотите превращать себя в плавно отупающую машину с нулевыми перспективами, особенно на фоне темки AI, чисто для зоробатывания бабла вашему рабовладельцу, ваше дело :)