> 1. No hidden control flow. Т.е. нет exception. Нет переопределения методов. Нет
> конструкторов и деструкторов.

А как же panic содраный из хруста и вычисления в compile time?

> 2. Error это отдельный тип и ошибки обрабатывать придётся (что-то типа Maybe
> / Optional, но в процедурном стиле), иначе не скомпилипуется.

При том вот именно это - вызывает вопросы какими веществами они пользовались. Хотя выглядит забавно.

> 4. Тесты пишутся прямо в файле как test {...zig code...} и сразу
> запускаются командной zig test - ничего делать не надо. Очень поощряет
> test-driven программирование.

С другой стороны, прелесть сей в отсутствии hardwired допущений прибитых на гвозди. Нравится тестить так - берем то. Эдак - берем это. Либ для тестов - есть.

> 5. Тесты можно дебажить и все breakpoint работают в VS Code.

Вы перепутали вебмакак с системщиками.

> 6. Билд система тоже на Zig, не надо учить отдельный язык синтаксис
> (cmake/Gradle).

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

> 7. Максимальная безопасность - все значения по умолчанию const (настоящий, а не
> как константная ссылка), проверки выхода за границы, и т.д. и т.п.

Только стоит уточнить что оно либо с пеналти в рантайме - либо без некоторых проверок.

> Т.е. в отличие от Rust много проверок в runtime в Debug
> режиме, вместо статического доказывания системе типов, как в Rust -

ЧСХ спорный вопрос что это фича. Хруст в этом пожалуй имеет преимущество: с одной стороны хоть какие-то проверки-гарантии, с другой - это не портит код в ран тайм.

> притом что многие проверки можно реально выполнить только в runtime.

Оно как бы не бесплатно по размеру кода и его скорости.

> 8. Аллокатор передаётся как параметр - никаких скрытых аллокаций памяти.

А вот это прикольно придумано. С другой стороны - кодить аллокатор в bare metal ну так себе, знаете ли. А без аллокатора оно вообще способно жить?

> 10. Отличная интероперабельность с С (не тестировал сам)

И вообще вроде можно постепенно сишный сорц до этого заапгрейдить.

> defer / errdefer - крутейшая фича.

Вообще забавно сделано.

> Вообще ощущение что пишешь на высокоуровневом языке, хотя Zig самый низкоуровневый из всех.

Да ну ща. Си низкоуровнее некуда. А как на этом оформить помещение числа 0x20 в адрес 0x80000?

> Я очень доволен. Скажу честно, расчитывал что он быстро начнёт разваливаться и
> я его выкину как "не смогла".

На самом деле забавная штука. Более логичный чем хруст на вид.

> Но он превзошёл все мои ожидания даже в версии 0.10.0-dev.

Да? А как насчет поддержки в GCC? Надоели уже с шлангом гребаным, половину архитектур он тупо не умеет, что как бы аргумент если вы что-то там про системное программирование :P

> Ребята очень заточены на безопасность, но в меру, без фанатизма, и на performance.

Вообще они адекватнее раста с их оголтелым маркетинговым булшитом и пиханием во все дыры на кривой козе. И с сями оно менее дурно стыкуется на вид.

> Уже добавили переносимые SIMD в язык (тип @Vector())

Пошли по пути хруста загаживать синтаксис новыми закорюками чтобы впихнуть все и вся? Си приколен тем что всем этим не занимается. Даже стандартная либа - опциональна напрочь. Поэтому напрогать на сях бутлоадер или фирмвару какую - ну, взял и напрогал. А на этом так вообще получится? Это такой джентльменский минимум чтобы что-то там пищать про системность.