https://github.com/ziglang/zig/pull/19459
Черновой запрос на слияние, добавляющий поддержку синтаксиса "labeled continue inside a switch", т.е. computed goto (таблицы переходов). Пример кода (немного упрощено, с новых тестов):
#upstream
Черновой запрос на слияние, добавляющий поддержку синтаксиса "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
GitHub
Computed gotos by EzequielRamis · Pull Request #19459 · ziglang/zig
Closes #8220.
I took the risk of contributing because it's my first time working with something complex like the zig source code, but I'm currently doing a college project with it and I wan...
I took the risk of contributing because it's my first time working with something complex like the zig source code, but I'm currently doing a college project with it and I wan...
🤯6
Язык Zig (канал)
https://github.com/ziglang/zig/pull/19459 Черновой запрос на слияние, добавляющий поддержку синтаксиса "labeled continue inside a switch", т.е. computed goto (таблицы переходов). Пример кода (немного упрощено, с новых тестов): const std = @import("std");…
Для понимания можно ещё проще пример сделать:
Автор планирует добавить поддержку чисел, булевых значений, перечислений (enum) и помеченных объединений (tagged union), но не знает, нужно ли поддерживать error values.
const bit: u1 = 0;Тут получился обычный бесконечный цикл, где switch скачет от 0 до 1 и обратно.
label: switch (bit) {
0 => continue :label 1,
1 => continue :label 0,
}
Автор планирует добавить поддержку чисел, булевых значений, перечислений (enum) и помеченных объединений (tagged union), но не знает, нужно ли поддерживать error values.
Язык Zig (канал)
https://github.com/ziglang/zig/pull/19459 Черновой запрос на слияние, добавляющий поддержку синтаксиса "labeled continue inside a switch", т.е. computed goto (таблицы переходов). Пример кода (немного упрощено, с новых тестов): const std = @import("std");…
Чем это отличается от обычного:
А в варианте с labeled continue она будет гарантированно создана во всех режимах сборки (в том числе Debug).
Ну и размер самой таблице зависит от того, какой тип принимает switch, т.е. в u8 или enum(u8) может быть до 255 вхождений, а в u16 уже 65 535.
Это всё включено в размер сгенерированного кода, поэтому при необдуманном пользовании бинарник может сильно распухнуть (ну как я понял), а при обдуманном хорошо так поднять производительность.
var tag: Tag = .a;В варианте с while-switch таблицы переходов может и не появиться, нет гарантий, это зависит от оптимизатора.
const result = brk: while (true) switch (tag) {
.a => {
tag = c;
continue :brk;
},
.b => break :brk false,
.c => {
tag = b;
continue :brk;
},
};
А в варианте с labeled continue она будет гарантированно создана во всех режимах сборки (в том числе Debug).
Ну и размер самой таблице зависит от того, какой тип принимает switch, т.е. в u8 или enum(u8) может быть до 255 вхождений, а в u16 уже 65 535.
Это всё включено в размер сгенерированного кода, поэтому при необдуманном пользовании бинарник может сильно распухнуть (ну как я понял), а при обдуманном хорошо так поднять производительность.
🔥2👍1
Я тут пока лазил в кишках компилятора (с
ZLS при этом молчит (ломается походу) и не даёт автокомплит для std_ref.
@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
Язык Zig (канал)
Я тут пока лазил в кишках компилятора (с @field химичу), заметил одну вещь: пропускать указатель (т.е. писать "ab.cc" вместо "ab.*.cc") можно не только в полях, но и в декларациях (типы добавил для наглядности) const std: type = @import("std"); const std_ref:…
Сначала подумал, что у себя в форке что-то там сломал, но на мастер ветке то же самое.
Forwarded from gavr
YouTube
Зачем нужен Zig, и чем он отличается от других языков
В выпуске мы придумали идеальное описание языка программирования Zig – это DSL для машинного кода. И за этим определением кроется куча интересных концепций, начиная от брутальной простоты в синтаксисе и фичах, заканчивая метапрограммированием, основанном…
👍10👎1
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. странно, что стрима не было
И снова жирнющий релиз получился
https://ziglang.org/download/0.12.0/release-notes.html
#upstream
p.s. странно, что стрима не было
🔥13👎1
Язык Zig (канал)
https://github.com/ziglang/zig/pull/19459 Черновой запрос на слияние, добавляющий поддержку синтаксиса "labeled continue inside a switch", т.е. computed goto (таблицы переходов). Пример кода (немного упрощено, с новых тестов): const std = @import("std");…
GitHub
compiler: implement labeled switch/continue by mlugg · Pull Request #19812 · ziglang/zig
TODO: PR message.
@Luukdegram, any chance you'd be able to un-regress the WASM backend here? I broke loop and probably fixed it (although I won't claim to have tested it), but I broke switc...
@Luukdegram, any chance you'd be able to un-regress the WASM backend here? I broke loop and probably fixed it (although I won't claim to have tested it), but I broke switc...
🔥2
Итераторы, всякие filter+reduce, и регексы
Пример с репо:
https://github.com/andrewCodeDev/Fluent/blob/511f02345c4eac28a6a80e8cfc8598f98f9863d5/README.md#regex---pcre-standard
#библиотеки
Пример с репо:
var itr = Fluent.match("[abc]\\d+", "_ab112_c987b123_d16_");
while (itr.next()) |substr| { // ...https://github.com/andrewCodeDev/Fluent/blob/511f02345c4eac28a6a80e8cfc8598f98f9863d5/README.md#regex---pcre-standard
#библиотеки
GitHub
Fluent/README.md at 511f02345c4eac28a6a80e8cfc8598f98f9863d5 · andrewCodeDev/Fluent
Fluent interface for REGEX, iteration, and algorithm chaining. - andrewCodeDev/Fluent
🔥6🤯3👍1
Написание планировщика задач на Zig (на англ.)
(который в многопоточных приложениях, а не TODO-лист)
#блоги
(который в многопоточных приложениях, а не TODO-лист)
#блоги
www.openmymind.net
Writing a task scheduler in Zig
How a mutex, a condition variable and a priority queue can be used to build a simple task scheduler in Zig.
👍8
Язык Zig (канал)
https://github.com/Validark/Accelerated-Zig-Parser
Запись вчерашнего стрима про этот парсер:
https://www.youtube.com/watch?v=FDiUKafPs0U
https://www.youtube.com/watch?v=FDiUKafPs0U
YouTube
Hyper-optimizing the Zig Parser: Part 2 w/ Niles @Validark
Powered by Restream https://restream.io
Discord: https://discord.gg/zig
Join Online:
https://twitch.tv/utahzig
https://www.youtube.com/@utahzig/streams
https://meet.jit.si/utah-zig (ping in the discord if this isn't up)
Discord: https://discord.gg/zig
Join Online:
https://twitch.tv/utahzig
https://www.youtube.com/@utahzig/streams
https://meet.jit.si/utah-zig (ping in the discord if this isn't up)
🔥5
Эндрю планирует выпустить 0.13.0 и 0.12.1 в понедельник... так что отправляйте свои пулл-реквесты, пока не поздно.
Говорит, такой быстрый выпуск чтобы дистрибутивы могли LLVM 18 спокойно использовать:
#upstream
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
https://asciinema.org/a/gDna9RnicwYjDRIDn4e07NFSc
#upstream
Язык Zig (канал)
Как новый std.Progress будет выглядеть в режиме дерева (как у zig build --summary all): https://asciinema.org/a/gDna9RnicwYjDRIDn4e07NFSc #upstream
This media is not supported in your browser
VIEW IN TELEGRAM
agg https://asciinema.org/a/gDna9RnicwYjDRIDn4e07NFSc demo.gif --fps-cap 60 --rows 15 --cols 50
🔥6❤2
Язык Zig (канал)
Как новый std.Progress будет выглядеть в режиме дерева (как у zig build --summary all): https://asciinema.org/a/gDna9RnicwYjDRIDn4e07NFSc #upstream
GitHub
rework std.Progress by andrewrk · Pull Request #20059 · ziglang/zig
Demo
simple asciinema demo source
demo: building a music player with zig build source
Motivation
The previous implementation of std.Progress had the design limitation that it could not assume owner...
simple asciinema demo source
demo: building a music player with zig build source
Motivation
The previous implementation of std.Progress had the design limitation that it could not assume owner...