2026 год выглядит особенно насыщенным для компилятора Rust. Сразу несколько долгосрочных инициатив подходят к финальным этапам, поэтому объём работы изменился не так сильно, как момент, когда её плоды становятся доступны. Автор выделяет те из них, которые кажутся ему наиболее заметными.
Самая крупная из них — решатель трейтов следующего поколения, переписывание значительной части системы типов, над которым работают почти десять лет. Он исправляет ряд ошибок корректности и открывает путь множеству функций и давно известных проблем. Кроме того, он устраняет серьёзный технический долг и высвобождает разработчиков, глубоко знакомых с системой типов, для работы над новыми задачами, в том числе над решением болезненных мест async Rust и ограничений impl Trait.
Polonius, новый проверщик заимствований, над которым долго работали, — ещё один важный шаг. Он позволяет компилировать больше кода и открывает дорогу связанным возможностям, включая, будем надеяться, однажды и внутренние ссылки. Его влияние на компилятор меньше, чем у нового решателя, но всё же значительно.
Производительность компилятора — главный интерес автора, и прогресс в этой области ускорился после периода застоя. Параллельный фронтенд, давно отложенная работа со сложной историей проектирования, близок к стабилизации после многих лет борьбы с трудными проблемами. LLVM тоже становится быстрее: LLVM 23 принёс неожиданно большое положительное изменение производительности, продолжая тенденцию, начавшуюся после того, как LLVM 10 внёс серьёзную регрессию, а ведущий разработчик LLVM стал более внимательно отслеживать производительность.
Источник: Hacker News · Сводку подготовил HeadlinesBriefing