Zig - это в первую очередь настоящая качественная альтернатива C. И замена C++ / Rust.

Можно управлять памятью как в С - alignment, packing. Нет runtime вообще никакого. Нет привязки к libc. У них своя библиотека, с нуля написанная.

Нет "стандартных аллокаторов". Можно выбирать разные аллокаторы для разных функций.

Нет exception. Ошибки возвращаются из функции в виде Option (с обязательной проверкой).

Нет деструкторов.

Нельзя даже вызвать функцию без присваивания результата переменной.

Нет переполнения целых чисел. Помимо типов безопасность обеспечивают runtime проверки всего и вся.

Шаблонное программирование на этом же языке, как я понял. Что очень круто.

Compile time программирование.

Типы - это first class citizen (в compile time).

Есть Pattern matching.
Возможна вставка ассемблера.

Нет variable name shadow (одна переменная перекрывает другую с таким же названием в scope выше) - ты всегда знаешь что эта переменная делает.

for loop, if, while, switch - являются выражениями и возвращают значение.

Поэтому это ещё вопрос что считать функциональным ЯП. У Zig есть много элементов ФП, без ущерба производительности

Haskell и тп. никак не замена. Для высокопроизводительного программирования нужно быть ближе к железу. Все эти ненужные абстракции текут (как в С++).

Real time не напишешь. Ядро не напишешь. Высокопроизводительные алгоритмы, с учётом кэша профессора не напишешь. И т.д..