Язык Zig (канал) – Telegram
Язык Zig (канал)
181 subscribers
28 photos
3 videos
6 files
246 links
Download Telegram
Бо‌льшую часть компилятора хотят вынести в отдельные файлы и компилировать по мере надобности прямо во время работы. Первым делом выносят zig fmt и zig reduce.

По идее, это позволит легче контрибутить в сам проект или патчить после установки (т.к. файлы прямо тут, в папке lib/), уменьшить размер всего набора пакетов Zig и уменьшить время сборки (хотя по сути оно будет просто „размазано” в рантайме, но учитывая что не весь код используется для компиляции, доожно быть несущественно).

Из того, что должны оставить: компиляцию нативным бэкендом и запуск дочерных процессов. Грубо говоря, если вы скачиваете Zig для x86_64 на Линукс какой-нить, в самом исполняемом файле "zig" будет только x86_64 backend и этот самый запуск, для Hello World этого хватит.
Но если вы захотите сделать zig fmt или скомпилировать с помощью aarch64 backend, он скомпилирует эти файлы в lib/ и будет уже ими управлять. Т.к. система кэширования уже есть, одного раза должно хватить (пока не измените там код).

Для обычного пользователя ничего не поменяется (те же самые команды и т.д.), но первая компиляция станет чуть-чуть медленнее.

#upstream
🔥1
Полностью переработанный autodoc, там слишком много чего технического поменяли, так что пишу только то, что полезно самим пользователям.
https://github.com/ziglang/zig/pull/19208

Для документации стандартной библиотеки:
* До: Собирается за 13.3 секунды, ест гигабайт памяти, выхлоп 47 мегабайт.
* После: Собирается за 24 миллисекунды, ест 90 мегабайт памяти, выхлоп 12 мегабайт.

И ещё закрывает 9 issues. Из минусов: теперь требует поддержку WebAssembly в браузере, т.к. основная логика написана на Zig, который компилируется потом в WASM. Ну и часть нагрузки теперь перенесена с сборщика на браузер клиента. Зато несёт больше интерактивности.

> lib/docs/ziglexer.js was an implementation of Zig language tokenization in JavaScript, despite Zig already exposing its own tokenizer in the standard library. When I saw this added to the zig project, a little part of me died inside.

#upstream
🔥6
Zig defer Patterns

#блоги

Думаю, большинство уже слышало про это, кроме errdefer comptime unreachable
🔥2
https://github.com/ziglang/zig/pull/19459

Черновой запрос на слияние, добавляющий поддержку синтаксиса "labeled continue inside a switch", т.е. computed goto (таблицы переходов). Пример кода (немного упрощено, с новых тестов):

const std = @import("std");

const Tag = enum {
a,
b,
c,
};

pub fn main() !void {
const tag: Tag = .a;
const result = brk: switch (tag) {
     .a => continue :brk .c, // 1
    .b => break :brk false, // 3
     .c => continue :brk .b, // 2
};

try std.testing.expect(result == false);
}
В этом примере, switch с меткой brk сначала перейдёт в ветку .a, которая говорит "продолжить и перейти в ветку .c*, которая тоже говорит "продолжить и перейти в ветку .b", где блок прерывается.

#upstream
🤯6
Язык Zig (канал)
https://github.com/ziglang/zig/pull/19459 Черновой запрос на слияние, добавляющий поддержку синтаксиса "labeled continue inside a switch", т.е. computed goto (таблицы переходов). Пример кода (немного упрощено, с новых тестов): const std = @import("std");…
Для понимания можно ещё проще пример сделать:

const bit: u1 = 0;

label: switch (bit) {
0 => continue :label 1,
1 => continue :label 0,
}
Тут получился обычный бесконечный цикл, где switch скачет от 0 до 1 и обратно.

Автор планирует добавить поддержку чисел, булевых значений, перечислений (enum) и помеченных объединений (tagged union), но не знает, нужно ли поддерживать error values.
Язык Zig (канал)
https://github.com/ziglang/zig/pull/19459 Черновой запрос на слияние, добавляющий поддержку синтаксиса "labeled continue inside a switch", т.е. computed goto (таблицы переходов). Пример кода (немного упрощено, с новых тестов): const std = @import("std");…
Чем это отличается от обычного:

var tag: Tag = .a;
const result = brk: while (true) switch (tag) {
.a => {
tag = c;
continue :brk;
},
.b => break :brk false,
.c => {
tag = b;
continue :brk;
},
};
В варианте с while-switch таблицы переходов может и не появиться, нет гарантий, это зависит от оптимизатора.
А в варианте с labeled continue она будет гарантированно создана во всех режимах сборки (в том числе Debug).

Ну и размер самой таблице зависит от того, какой тип принимает switch, т.е. в u8 или enum(u8) может быть до 255 вхождений, а в u16 уже 65 535.

Это всё включено в размер сгенерированного кода, поэтому при необдуманном пользовании бинарник может сильно распухнуть (ну как я понял), а при обдуманном хорошо так поднять производительность.
🔥2👍1
Я тут пока лазил в кишках компилятора (с @field химичу), заметил одну вещь: пропускать указатель (т.е. писать "ab.cc" вместо "ab.*.cc") можно не только в полях, но и в декларациях (типы добавил для наглядности)

const std: type = @import("std");
const std_ref: *const type = &std;

test {
_ = std_ref.ArrayList(u8).init(std_ref.testing.allocator);
}

ZLS при этом молчит (ломается походу) и не даёт автокомплит для std_ref.
👍5
gavr
https://youtu.be/NAOOGB1q6uQ
Тот самый Алекс Кладов ака matklad акак один из разрабов rust-analyzer, TigerBeetle и т.д., чьи посты иногда тут репостятся)
👍10👎1
Язык Zig (канал)
0.11.0 тудум тудум 🥳🥳 #upstream
Выпуск Zig 0.12.0 🎉🎉🎉
И снова жирнющий релиз получился
https://ziglang.org/download/0.12.0/release-notes.html

#upstream

p.s. странно, что стрима не было
🔥13👎1
Эндрю планирует выпустить 0.13.0 и 0.12.1 в понедельник... так что отправляйте свои пулл-реквесты, пока не поздно.
I'm planning to release 0.13.0 and 0.12.1 on Monday, primarily featuring the LLVM 18 upgrade and musl 1.2.5 upgrade. If there are any other impactful changes you want to land, you have 5 days to get them in. 0.12.1 will be the last release in the 0.12.x series.


Говорит, такой быстрый выпуск чтобы дистрибутивы могли LLVM 18 спокойно использовать:
the release is primarily aimed at helping distributions package zig since it updates to LLVM 18. distros which have llvm 17 can package zig 0.12.1; distros that have llvm 18 can package 0.13.0


#upstream
🔥5🤯2
Как новый std.Progress будет выглядеть в режиме дерева (как у zig build --summary all):

https://asciinema.org/a/gDna9RnicwYjDRIDn4e07NFSc

#upstream