Rust Project совместно с Rust-C++ Interop Initiative запускает ночной эксперимент по перегрузке функций для FFI. Используется атрибут #[rustc_splat], позволяющий вызывать перегруженные функции без двойных скобок. Эксперимент на стадии, когда можно пробовать, но RFC нет, и всё может быть удалено.
В Go 1.27 появились generic-методы, улучшения структурных литералов и обобщённый вывод типов. Новый пакет simd/archsimd поддерживает AMD64, ARM Neon и WebAssembly SIMD. Добавлены encoding/json/v2, crypto/mldsa (ML-DSA) и uuid. Мелкие объекты выделяются на 30% быстрее.
Modular открыла компилятор и тулчейн Mojo под Apache 2.0. Язык больше не позиционируется как надмножество Python — теперь это самостоятельный язык для GPU-программирования. Релиз 1.0 состоялся на прошлой неделе, а затем Qualcomm купила Modular.
После приобретения Modular компанией Qualcomm язык Mojo стал открытым под Apache 2.0. Ранее была открыта только стандартная библиотека. Mojo 1.0 нацелен на production-ready для AI, поддерживает CPU, GPU и AI-ускорители.
Modular выкатил Mojo 1.0 после первого релиза в 2023 году и обещает теперь более стабильную основу для долгих проектов. В релизе свели variables к var, объединили closures, оставили один Pointer и добавили Python-style lambda, а LSP-сервер, по словам команды, стал заметно стабильнее.
Microsoft Research и Inria развивают F* — proof-oriented язык с зависимыми типами и SMT-решателями. Компилируется в OCaml, C и Wasm. Код на F* используется в Firefox, Linux, Azure Hyper-V для верифицированной криптографии (HACL*, EverCrypt) и парсинга сетевых пакетов (EverParse).
Пакет analysis в golang.org/x/tools/go/analysis определяет интерфейс для модульного статического анализа Go. Позволяет создавать проверки (например, printf), которые могут быть объединены в драйверы (vet, IDE, CI). Поддерживает флаги, зависимости между анализаторами и факты.