.

В дополнение к сегодняшнему посту.

Во-первых, как внезапно оказалось, AI как раз вообще не тянет даже в плане построения элементарных онтологий для проэкта на дюжину классов, хотя я, честно говоря, рассчитывал, начитавшись очередного эйай-хайпа...

А так-то ведь это задачка вполне по силам и сообразительному третьекласснику! Просто выделить существительные: гном, инструмент, оружие, животное, растение, руда, тайл...

Так вот, поразительно, но ни жпт5 ни грек4 ни клод4.1 не смогли сделать что-то элементарно адекватное, хотя бы намёком подразумевающее иллюзию понимания. Дублирующиеся понятия, какие-то совершенно посторонние сущности, абстракции абстракций, полный 💩

Во-вторых, все они также безбожно тупят 🤮 и в простейших нешаблонных задачках software design: например, подробно пишу, что надо сделать сигнатуру метода по reified generics, а оно мне выдаёт type erasure lol и никакие мои возмущения не принимает.

В-третьих, и это самое главное, после пяти лет моих регулярных размышлений на эту тему (можно найти мои старые сериалы, где я рассуждал про сильное объектно-ориентированное мышление), я наконец-то придумал (или, точнее сказать, открыл) ту формальная модель, которой можно следовать, чтобы достигнуть цели сегодняшнего поста. Мечты сбываются! 💥 хотя я ещё полгода назад и предположить не мог...
Прежде всего помогло конечно то, как я прокачался, когда делал гайды по гомотопической теории типов. По результату открываются какие-то совсем удивительные инсайты 😇

И это совсем не про то, что "надо больше практиковаться" или "читать книги по объектному мышлению" (что само по себе безусловно полезно, но недостаточно).

Я дам моим ментатам логически атомарные шаги, которым надо просто тупо следовать, чтобы спроектировать систему на тысячи классов с полного нуля, сохраняя сложность проекта линейной, а не экспоненциально растущей.

То есть мы резко повышаем мастерство, (почти) не прокачивая скиллы 🚀

Сперва сделаю такую формальную модель для ООП, потом и для ФП.

Единственный минус, что это получается уж очень тяжёлая интеллектуальная работа 🤓 и AI совсем не помощник...

Хотя после HoTT мне уже ничего не страшно 😁

Почитайте сегодняшний пост, чтобы понять, о чём я говорю.