Какое-то время назад на рабочем проекте столкнулся с тем, что небольшой класс, в котором происходит сетевой вызов и состоит из ~50 строк кода на Kotlin, компилируется в ~2500 строк на Java и пример...
Внедрил в проекте практику использования такого типа классов в Котлине, как value класс. Такой тип класса специально создан для создания конкретного типа данных в проекте. Теперь на законных основ...
В предыдущей статье мы рассмотрели подход к отрисовке в Compose и обозначили флоу рендеринга и важные компоненты технологии. В данной статьей рассмотрим процесс рекомпозиций: какие компоненты учас...
В современной разработке мобильных приложений пользовательский интерфейс играет одну из ведущих ролей, определяя как восприятие приложения пользователем, так и его взаимодействие с ним. С появлен...
Предыдущая статья Конечно, в повседневной Android разработке применение формальных методов верификации является дорогим удовольствием и вообще не используется. Однако, в крупных компаниях у нас ес...
Наткнулся на статью о методах формальной верификации программного кода на примере смарт-контрактов и захотелось на досуге поразбираться в теме. Понять, как применять эти методы в повседневной рабо...
RemoteViews представляют из себя особый механизм в экосистеме Android, позволяющий разработчикам создавать модифицируемые пользовательские интерфейсы для виджетов на домашнем экране и кастомизирова...
Введение На одном из последних проектов возникла потребность детальнее поразбираться в сертификатах и защищенных соединениях, чтобы локализовать проблему при установлении соединения с тестовым серв...
Метрики программного кода - это числовые индикаторы, используемые для измерения различных аспектов качества и характеристик программного кода. Они предоставляют информацию о структуре, сложности, ...
Известно, что документирование и комментирование кода являются критически важными аспектами программирования. Однако непросто понять, как и когда их использовать. Исходя из учений Ван Тассела и зак...