RU

Трилемма Святого Грааля типизации: почему нельзя всё сразу

Все мы знаем, что языки делятся на динамические и статические: Python или JS позволяют молниеносно прототипировать, но расплачиваться нестабильность…

теория типовтипизациясистема типовсвятой граальтипыgradual typingsoundnessno wrappersdeveloper friendlytimeweb_статьи
Habr
RU

Архитектура Android-приложений. Как повысить качество архитектуры, не говоря об архитектуре

Салют, Хабр! Я Марк, Android-разработчик, работаю над мобильным приложением для управления умным домом Салют. Для мира Android-разработки вопросы ар…

доменная система типовKotlinтипыdesign by contractAndroidархитектура приложений
Habr
RU

Утро я потратил на план, который дольше самой задачи. И понял, что не сошёл с ума, просто работа переехала

Я всё утро вылизывал план на 1700 строк. Дольше, чем заняла бы сама задача, если бы я сел и написал её руками. И к обеду поймал себя на мысли, что я…

ИИ-агентыClaude CodeCodexавтономные агентыпланированиетипыконтрактывайбкодинг