Продвинутые системы типов. Чего еще мне не хватает в Java из Rust

Один из известных подходов к написанию хорошо понятного и лишенного определенного класса ошибок кода — использование языковых фич, позволяющих на уровне системы типов более строго и логично описать структуру всего и вся. Поговорим о том, что для этого уже доступно в Java, особенно с учетом нововведений вроде паттерн-матчинга. Чего нам не хватает, что уже идеально, а что нам «не светит». Попытаемся понять, так ли все это нужно или лучше жить в мире POJO.

Разберем, что не так с err в Go, что такое never-тип и при чем тут монады. Сравню подходы в других языках внутри и вне JVM-экосистемы и подкреплю это личным опытом написания удобного API для продвинутого парсинга Protobuf-запросов.

Будут холивары о том, какой язык «сделал все правильно», веселое применение скучной теории и споры о том, что такое void. Поразмышляем, что джавистам стоит украсть у других языков.