Пацаны волнуются, не ухожу ли я в геймдев ↑↑↑
не-не (но название dwarf fortness застолблю :)

Дальше, вот чёткая цель Лаборатории: надо всеми силами "создать ситуацию, при которой у нас возникнет интеллектуальная думающая элита и люди, которые выйдут по интеллектуальному развитию на второй-третий план".

Критерий различия простой: элита это те, кто самостоятельно находят "стимул для получения знаний, для саморазвития, для обучения собственного". А кто не (само)развиваются постоянно, это второй-третий план и есть.

Как? Ну вот в нашем случае (Meta) Principles Framework. Это будет такое своеобразное думательное мета-(мета-...)покрытие над всеми материалами Лаборатории. По статистике сотен ребят я накопил немало мета-паттернов, которые надо систематизировать и формализовать. Например, частый случай, когда ребята применяют рекомендации с Функциональных архитектур, hard work и занятий по AI, пишут фидбек "вау! круто! x10", но по каким-то своим тестовым случаям, сайд проектам, а по работе применять боятся почти все, причём даже на уровне буквально 10-строчных сниппетов. И тут же пишут, как завалены текучкой по работе, не успевают, всё криво и сплошной big ball of mud :)

Вот тут как раз и не хватает (M)PF, когда правильное мышление уходит в бессознательную компетентность, и просто не можешь писать код/спеки неправильно.

Ну а в целом это прежде всего про то, как переупаковывать (в своей голове или в нейронке) типичный мидл-код без лишней HoTT-формалистики, но способом мышления (спеки/мета-спеки) в математически идеальном стиле type theory + category patterns.

Не столько решаем задачу, сколько обобщаем её до типа, который сам и есть решение. Это тот самый единый вкус гротендиковщины. Все эти ваши (многократно вложенные) генерики, тайпклассы, higher kinded types, функторы, монады, натуральные преобразования (что разбираем в LPF) -- это по сути лишь синтаксис, с помощью которого мы переходим к совсем другим мета-абстракциям.

То есть через синтаксис (он формален!) поднимаем семантику паттернов в коде/спеках так, что вся сложность переезжает из вычислений в правильную постановку для AI (и это частично на ФА разбираю). На начальном уровне крепких мидлов, это может быть например алгебра данных, DSL, категориальный интерфейс, доменная typeclass-like абстракция и т.д.

Лифтим всё что можно в слои параметризованных структур, где конкретика исчезает за универсальными морфизмами/обобщёнными интерфейсами/extension methods/wrapper types/...
а вместе с ней "исчезает" и сама задача, потому что внезапно становится ясно, что это просто лишь частный случай одного из подобных паттернов...

Ну вы поняли :)