Feedback-ID: icfa147fa:Fastmail
User-Agent: Cyrus-JMAP/3.7.0-alpha0-927-gf4c98c8499-fm-20220826.002-gf4c98c84
Mime-Version: 1.0
Message-Id: <4e588362-2691-4bec-8472-81087ac90f1e@www.fastmail.com>
In-Reply-To: 
 <DBAP190MB09823C2AABBD43BA363E855FF9429@DBAP190MB0982.EURP190.PROD.OUTLOOK.COM>
References: <8d2cc9f9-cb05-2038-3d53-eb7f4e6e3aaa@hotmail.com>
 <DBAP190MB0982452C01CDF556B90703B4F9919@DBAP190MB0982.EURP190.PROD.OUTLOOK.COM>
 <a0d9a775-7d2d-4f80-aafe-efbf66fe970c@www.fastmail.com>
 <ad3c5b4b-7f9d-dd49-acab-52df7d0f0ad9@hotmail.com>
 <2e2f1751-ec7c-d22c-4a51-df9047a2d62c@hotmail.com>
 <e06bfdde-695a-a14b-382a-995f5d5eda8d@hotmail.com>
 <8e27ac17-eb81-5ccb-2e73-5e038851a1be@hotmail.com>
 <DBAP190MB09823C2AABBD43BA363E855FF9429@DBAP190MB0982.EURP190.PROD.OUTLOOK.COM>
Date: Sat, 10 Sep 2022 23:59:02 +0200
From: martin <sr.ht@mht.wtf>
To: ~andrewrk/ziglang@lists.sr.ht
Subject: Re: [_]struct within [_]struct (was comptime map)
Content-Type: text/plain;charset=utf-8
Content-Transfer-Encoding: quoted-printable

Hey Peter!

I've followed your thread for the past few weeks, and while I certainly =
can appreciate your concrete questions, I'm not sure I understand what y=
our overall goal is. (i.e., maybe we've got an XY-problem at hand, where=
 you ask for something that's awkward to do in Zig but the problem you'r=
e having could be solved by something different, which would be easy to =
do in Zig)  It looks like you have a bunch of states that each have a sl=
ice of other states that they'd want to invoke somehow, from an event or=
 something. Could you be a little more descriptive?

I hope I can offer some insight on tuples though, because it's actually =
really simple; a tuple is just an anonymous struct, in which the struct =
fields have the names `0`, `1`, ...=20

For instance,

const std =3D @import("std");
=E2=80=8Bpub fn main() !void {
    const foo =3D .{ 10, -2, 99 };
    std.debug.print("{}\n", .{ foo.@"1" });
}

prints `-2`. (The `@"1"` syntax is used to avoid keywords, or the lexer =
in general; the field is named `1`, because it is the second element in =
the anonymous struct initializer (I'm not confident about the nomenclatu=
re here), but `1` is not a valid identifier so you need this funny synta=
x. It's just like `foo[1]` in Python, or `foo.0` in Rust, or whatever)=20

~martin