[pmontra]

Do you have any reference to any documentation of how they implemented types?

[inopinatus]

The docs say "Every Ruby class and module doubles as a type in Sorbet" and it was explicitly described as a nominal type system in a talk at Strange Loop 2018.