(welltypedwitch.bearblog.dev)

42 points todsacerdoti | 1 comments | 20 Nov 24 02:50 UTC | HN request time: 0.209s | source

1. vrotaru ◴[20 Nov 24 05:23 UTC] No.42191038[source]▶

I guess Modula-3 was doing it as well.

Records were structurally typed. But you can "braid"(?) a record and that will make it nominal type.

Nominal for Storing, Structural for Manipulating