https://futureofcoding.org/ logo
#share-your-work
Title
# share-your-work
j

jamii

02/05/2024, 7:21 PM
Struggling with nominal types sneaking in everywhere - https://www.scattered-thoughts.net/writing/notation-and-representation/
c

Chris Krycho

02/05/2024, 7:24 PM
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 😂), 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 😩)
@jamii 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?
j

jamii

02/06/2024, 6:43 PM
It doesn't have much bearing on serialization, since there's no reasonable way to serialize interfaces while changing code.
c

Chris Krycho

02/06/2024, 10:54 PM
Ah, yeah, okay, that makes perfect sense.