На картинке - как я сувствую себя, когда читаю такие статьи
Zig привлекает внимание функциональных программистов благодаря своей мощной системе comptime.
Автор, имеющий за плечами более 10 лет опыта в Haskell, выделяет три ключевых критерия: выразительность языка, возможность создавать корректные системы через программирование типов и отсутствие сюрпризов в поведении.
Zig предлагает элегантные аналоги функциональных абстракций. Монады Reader через явную передачу аллокаторов и IO, newtype через структуры-одиночки, sum-типы через объединения с тегами. И даже typeclass'ы через генерацию словарей на comptime.
При этом Zig избегает сборщика мусора, поощряя ручное управление памятью через арены и аллокаторы, что позволяет эффективно использовать современные машины. Автор считает, что индустрия переоценила сборку мусора - она создала поколение разработчиков, не понимающих работу вычислительных машин, и привела к раздутому, медленному ПО
