Future of Coding is an online community with a welcoming, cooperative, and revolutionary spirit. We are unified in the belief that the common practice of programming is tragically less humane than it could be.

Future of Coding

Struggling with nominal types sneaking in everywhere - <https://www.scattered-thoughts.net/writing/notation-and-representation/>

Not an especially insightful comment, just: as a reader of your blog for the last 12–18 months who is also slowly backfilling programming language stuff I didn’t get by way of a physics degree (for some reason :joy:), I find these write-ups eminently informative, and there aren’t a lot of other folks sharing this kind of “in the weeds” material.

(<https://pling.jondgoodwin.com> is the only other one I can think of in that space, and he’s been totally silent since mid-2022 :weary:)

<@U71PMQ1V0> following up a bit on this, what is your evaluation of the tradeoff Go and Swift make where interfaces/protocols are structural but data structure definitions are nominal?

It doesn't have much bearing on serialization, since there's no reasonable way to serialize interfaces while changing code.

Ah, yeah, okay, that makes perfect sense.