Zig Compiler Internals - Andrew Kelley

From Zig SHOWTIME #5
zig.show
0:00 Title
0:52 Talk
33:56 Interview

[@familyshare3724]

Would love a compiler summary update "state of the art" in 2024

[@KomariSpaghetti]

Recursion considered harmful. Great talk!

[@tux1968]

Relationship breakups considered helpful.

[@Verrisin]

My question would have been, why is the IR flat. That intuitively seems harder to optimize and work with, to me. - I know Kotlin uses tree IR, and that just makes sense to me. (tree IR is quite different from AST, of course)

[@hank-uh1zq]

The problem with Zig is documentation. I can see that goes for the code as well...this needs to get way better. Maybe the Foundation can hire someone to write documentation?

[@inkryption3386]

Honestly, it hasn't been much trouble for me. Once you understand the syntax and are aware of the conventions (which there aren't too many anyways), the code becomes its own documentation. Which I imagine is part of the objective of Zig.

[@jackmordaunt5410]

AFAIK, Documentation will be a focus post 1.0. Doesn’t make so much sense to document while things rapidly churn.

[@darkfllame]

the only doc i need is with the build system, that's all, everything else is pretty straight forward

[@prateeknischal5170]

There was a talk from the Go team where they mentioned about supporting exotic architectures. Any one who wanted to implemented a new target GOOS, GOARCH, they could implement that translation layer GOASM -> machine code and bam! support for a new target. And according to them, the translation layer is simple.

[@yvvkiRika]

Whatever on the bottom left is, it's keeping my focus on like subway surfers. Amazing talk!

[@astphaire]

I heard that Zig can call functions at compile time. How is this done? Is the IR stepped through like a bytecode?

[@DF-ss5ep]

There is no need for that. If your compiler has AST nodes that it understands, it can implement their behavior as C++ functions and then modify the AST with the results

[@numeritos1799]

@@DF-ss5ep essentially interpreted at compile time right?

[@leffivanov3127]

What software are you using for this kind of streams?

[@kristoff-it]

OBS, Discord, laplace.madeby.monster/

[@nathanruben3372]

What is the licence of this language?

[@y.vinitsky6452]

MIT

[@GK-rl5du]

What is the difference between un-typed and typed Zig IR?

[@darkfllame]

duh, typing 💀the untyped zig IR does not generate errors with types

[@GK-rl5du]

@@darkfllame If I recall correctly, Andrew mentioned that first compiler converts the source code to untyped IR. Then at some later stage untyped IR is converted to typed IR. I was wondering why not directly start with typed IR as the code author already declares the variable types. As you can tell I'm a compiler noob. If this is something obvious please let me know I'll do more research

[@numeritos1799]

I think Andrew was just referring to the comptime approach that they implemented. I'm not certain that what he described here still holds true today though. The video here is almost 4 years old, back when Zig was at 0.6.0.

[@KalleJillheden]

Held my curiosity for a while, but the technical issues made it unbearable to watch. All the flickering, and Andrew talking about code that's not loaded on the screen yet... quite a mess. From Andrew's other talks, I can tell that he's a great speaker, but for this video in particular, it's getting a thumbs down from me. Would love to see a re-take though.

[@Stopinvadingmyhardware]

why would I use this? I don’t see the point.

[@megamaser]

Systems and embedded programming.

[@josephlunderville3195]

You're probably not missing anything, it's still not all that mature. It's an interesting language and I'm playing with it, and I think it has a brighter future -- but if you want to solve an actual problem right now today, there are other languages that are good enough and which have much better library support. For systems and embedded you're probably making smaller programs and so the lack of libraries is less of a problem, but you'll still get up and running faster with existing frameworks in C/C++ or even Rust, so if you're being paid to do the work you might choose one of those.

[@ranam]

Can you compile zig compiler to compile darknet with cuda

[@lepidoptera9337]

You know that something is dead when it has 18 comments on KZbin in three years. ;-)

[@megamaser]

Zig is new and just beginning to pick up steam.

[@lepidoptera9337]

@@megamaser Dude, the video is from three years ago. I will give you attention, anyway. :-)

[@megamaser]

Yeah and? 3 years is nothing in the lifecycle of a programming language.

[@lepidoptera9337]

@@megamaser True. Cobol is still around. I didn't care about it, either. :-)

[@josephlunderville3195]

Trolls be trollin