[fire_lake]

C# has record (product) types now.

[crabmusket]

I'm not sure about the terminology here, but the & in TS is much more than a record. You can use it to smush types together e.g.

{name: string} & {birthday: Date}

becomes a single type with both properties.

[fire_lake]

Product types are tuple types.

Record types are tuple types with names instead of indexes.

The TypeScript “&” is another thing.