However,

a) the bitcode is bit-aligned, not byte aligned, so the slice is more awkward than necessary, and

b) the first entry of the type block needs to specify the number of entries in the byte block. This is encoded as a variable length integer. So after you've encoded all the types and now […]

@maybeanerd Thanks! You can find the slides of an extended version here: https://www.jonathanmueller.dev/talk/functional/

For example, I have an X macro file containing stuff like

DATA(Foo, (int, a), (float, f))

which generates both struct definitions and JSON serialization code of the form:

json_object_begin(out);
json_object_key(out, "a");
json_int(out, foo.a);
json_object_key(out, "b");
json_float(out, foo […]

And of course, I'm utterly abusing X macros, preprocessor tricks, and _Generic.

Because a good C++ programmer, can write C++ in any language.