Продолжаю работу с ментатами 🤓

...В теории всё прекрасно и интересно, но как только дело доходит до практики, начинается какой-то хаос.

...(при реализации игры ООАП-3 не до конца продумал некоторые АТД, и теперь на этапе реализации за это расплачиваюсь)
(читайте кстати по ООП/ФП проектированию, что я сейчас пишу в нашем приватном клубе)

...Назначили алгоритмическую секцию в Яндекс. Алгоритмическую задачку опять не очень решил), SQL-запрос пошел лучше после ваших задач повышенной сложности по SQL, но даже сейчас опять подзабыл как их писать, так как на работе их не пишу.

...Сам дипломный проект, на мой взгляд, у меня "не идёт" из-за очень слабой подготовки на сторонних курсах (к самим курсам есть вопросы, также я сам должным образом не погрузился в материал).
После появления интернета ЧатГПТ предложил внести небольшие корректировке, словам корректные отношения один-ко-многим на многие-ко-многим в одной из таблиц
Таким образом, в ходе последующей миграции, все сильно поломалось и больше времени ушло не на реализацию задания, а на исправление косяков

...Плакал, когда читал материалы с курса карьеры "Как выживать в ИТ-индустрии в 2025-м". Мне бы вкатиться, а тут уже про выживание...

...Мой друг недавно устраивался в [...], прошел собеседование на системного аналитика, команда была им очень довольна, прошел СБ, иииии... его развернули потому что опыт в резюме не совпадает с электронной трудовой, а гпх договор не был предоставлен, потому ему отказали в оффере на 200к.

...Написали из прошлой работы, мило пообщался, когда сказали что могут максимум 140к я парировал двухлетней вакансией на мое место за 150, эйчар промолчала и спросила есть ли у меня еще вопросы :)

...С курса карьеры прочитал материал - Нетворкинг. Как развивать сеть контактов и это было очень мудро и своевременно. Я ошибочно предполагал, что придётся что-то выдавливать из себя, а по советам с материалов просто был собой и получилось в итоге лучше, чем в целом я ожидал.

...Главное открытие!
Модульность - это не про наследование, а про то, что мы можем описывать контракты так, чтобы разные реализации свободно подходили под них. F-ограниченный полиморфизм и Protocol дают в Python почти те же возможности, что Харпер описывал для ML.

...Что касается практических подходов к HoTT, то я увидел следующее.

Во-первых, здесь типы управляют всем, они не просто группируют значения, а описывают поведение. Для пары значений есть Path, Sum, Product - и это всё разные способы смотреть на пару и работать с ней.

Во-вторых - свобода. Ничто не расстраивает меня в программировании сильнее, чем недостаток свободы. Речь идёт не о свободе писать полную чушь и стрелять себе в ногу из пулемёта. Наоборот, я за строгие формальные ограничения, систему которых можно свободно дополнять, усиливая явное представление логики программы в коде. Математика в этом плане куда приятнее. Здесь такой свободы предостаточно. Путь между путями между путями - пожалуйста; функция, тип которой зависит от значения аргумента - без проблем; N-мерный тор как аргумент - ОК. В тестах показано, как с помощью HoTT создавать довольно сложные формальные объекты, которые в обычной жизни существуют только в голове разработчика в довольно размытом виде.

В-третьих, вместо простого равенства/неравенства или преобразований здесь есть пути в комбинации с унивалентностью, чего в "классическом" программировании нет вообще. Равенство (и доказательство равенства) - это first-class-object. Не просто "равно", а есть путь, который мы назначили равенством, или не назначили. В одном контексте - равно, в другом - нет. Это вообще какой-то новый уровень мышления (возможно, именно он осложняет восприятие тестов).