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