Паттерн-матчинг с условиями реально крутая штука, код сразу чище становится. Но да, если захлебываться в этих вложенностях, потом сам себя будешь материть. Самореференции с типами тоже класс — теперь реально комфортнее писать структуры вроде связных списков без всяких костылей. Из профайлеров еще толк есть, особенно с асинхронщиной — раньше просто глаза разбегались. Радует, что стандартка тоже подтянулась, работать удобнее стало.