🍃 Ceylon и NULL: как сделать null нормальным

В одном и том же null часто прячут разные смыслы: “нет значения”, “неизвестно”, “неинициализировано”. Потом это всплывает в NPE и в кривой логике исполнения.

В Ceylon эту проблему решают через типовую систему, через Union типы. Подробнее, в переводе от Spring АйО.

Комментарий от Михаила Поливаха:

Статья достаточно старая, написанная Лукасом Едером (автор Jooq) про реализацию nullability Ceylon.

Конечно, Ceylon довольно старый язык, мёртвый на данный момент. Его дизайнером кстати когда-то выступал сам Gavin King (тот самый автор Hibernate).

Тем не менее, это единственный относительно известный на моей памяти язык поверх JVM, который поддерживал Union типы (не считая Scala 3), через которые и была сделана реализация nullable типов в Ceylon.

Статья больше призвана расширить Ваш кругозор и призвать Вас к осмысленной дискуссии. Приятного чтения.

📚Полный текст по ссылке: https://habr.com/ru/companies/spring_aio/articles/1001982/

TechMeetup #11: Spring АйО x МТС Банк

Осталось 5 дней...

В программе:

Доклады от экспертов Spring АйО:
👤 Евгений Сулейманов: HTTP Service Clients + API Versioning в Spring Boot 4: типобезопасный REST без зоопарка клиентов (и без боли при эволюции API);

👤 Павел Кислов: Тренды в Spring. Куда мы движемся и что поменялось в Spring Framework за 2025 год.;

👤 Михаил Поливаха: Встречайте Axelix: Спецназ для вашей Spring Boot экосистемы;

👥 Дискуссия "Мы видим перед собой последнее поколение разработчиков?" со взглядом бизнеса, менеджмента и разработки:
• Федор Сазонов, CEO OpenIDE;
• Павел Кислов, Developer Advocate Amplicode;
• Марат Рахимов, Директор по AI-трансформации МТС Банка;

🗓 Когда: 26 февраля 2026, с 19:00 до 22:30 GMT+03:00 (онлайн и офлайн);
📍 Где (офлайн): Москва, м. Технопарк. Проспект Андропова 18, корпус 1. (Здание с вывеской МТС Банк, Медиарум);

💻 Онлайн трансляция будет на странице мероприятия
требуется регистрация на формат посещения "Онлайн"

👍 Участие: бесплатно
🎉 Нетворкинг: бесценно

⭐ Регистрация продолжается до 23-го февраля на странице мероприятия
Количество мест ограничено, успей забронировать место

Spring АйО | МТС Банк

---

Рассылка подтверждений будет до 24-го февраля включительно.
Не забудь проверить свою почту, включая папку «Спам» и «Промо».

TechMeetup | CFP: Подать доклад | Общалка и вопросы | Записи

🗓 Еженедельный дайджест №61

Для тех, кто был слишком занят на неделе или просто пропустил некоторые посты, публикуем дайджест!

🍃 Spring АйО

– Java без Spring`а, это ИИ подкаст, HotSpot AOT-кэш | Spring АйО Подкаст №51
– Разрыв в неизменяемости: почему Java Records нужны оптики (Lenses)
– Руководство по ArchUnit — как модульно тестировать архитектуру
– Ceylon и NULL: как сделать null нормальным
– TechMeetup #11: Spring АйО x МТС Банк

⭐️ Партнёры

– OpenIDE: Reksoft & OpenIDE
– AxiomJDK: Java Rock Star Meetup
– Amplicode: Создание JPA/JDBC сущностей из таблиц базы данных
– OpenIDE: АНДРЕЙ КАРПАТЫЙ ПЕРЕПИСАЛ GPT | OPENCLAW ОБЪЯВИЛ ВОЙНУ | TELEGRAM СНОВА БЛОКИРУЮТ

😌 @spring_aio

🌧 Оптимизация Java-приложений для Arm64 в облаке

JVM в первую очередь процесс операционной системы. Но важно понимать, что требования к этому процессу на production отличатся от требований на workstation-е разработчика.

Если для разработчику важно, чтобы IDE работала быстро и не потребляла всю возможную память на машине, то для серверных JVM важно потреблять максимальный предоставленный ресурс и работать предельно быстро.

В новом переводе от команды Spring АйО разберем, какие существуют базовые настройки кучи, GC и CPU помогают синхронизировать JVM с лимитами контейнера и не переплачивать за простаивающие ресурсы.

Комментарий от Михаила Поливаха:

Все оптимизации в статье применимы не только к ARM-овым CPU, но и к x86. Это важно, потому что большая часть Ваших серверных workload-ов, даже если Вы об этом не знаете, они бегут на x86_64. Поэтому, статья для Вас тоже актуальна.

📚Полный текст по ссылке: https://habr.com/ru/companies/spring_aio/articles/1003602/

🔥 Тестирование API простыми словами + практика | Postman, Connekt

В новом видео разбираем тестирование API с нуля: что такое API, как работает HTTP, и переходим к практике в двух инструментах — Postman и Connekt.

В части про Postman: создаём GET и POST запросы, импортируем коллекции из Swagger, cURL и браузера, перехватываем трафик и настраиваем переменные окружения.

Дальше — то же самое в Connekt: импорт из Postman, работа с эндпоинтами Spring-приложения, все основные HTTP-методы, авторизация, работа с файлами, assertions и сложные сценарии с цепочками запросов.

😉 СМОТРЕТЬ НА YOUTUBE
😄 СМОТРЕТЬ В VK ВИДЕО
🥰 СМОТРЕТЬ НА RUTUBE

⏱ Часы Лампорта

Сегодня мы живём в мире распределённых систем: Apache Kafka, Apache Spark, Apache Cassandra — это уже не экзотика, а повседневная инфраструктура продакшена.

Сервисы пишут события, стримы обрабатываются в реальном времени, данные реплицируются по датацентрам. И почти в каждом таком сценарии возникает фундаментальный вопрос:

Как понять, что произошло раньше, а что позже, если глобального времени не существует?

Здесь в игру вступают логические часы Лампорта — простая, но концептуально мощная идея, лежащая в основе причинно-следственного порядка в распределённых системах.

📚 Подробнее тут: https://habr.com/ru/companies/spring_aio/articles/1005934/