EG
Zig will prove that the function is type-safe only for each parameter that you actually call the function with.
Это уже было в C++
Сами ошибки там говно, правда.
Думаю, напишу свой следующий петпроджект на Zig, чтобы почувствовать язык.
В основном мне пока не нравится отсутствие пакетного менеджера — ну как так жить в 2к20 году?