-
@ mleku
2025-02-12 18:17:41
#golang version 1.24 just dropped
https://go.dev/blog/go1.24
highlights:
- type aliases can now allow generic implementations on an alias that conforms to become equivalent to the aliased type (the ~ qualifier on type parameters effects the same thing on derivative types, this expands that so that you can alias a type and then define new type parameters
this means you can now declare an alias type to another type and define new generic parameters onto its method set, which is a neat sidestep to implement much of what inheritance means without the complexity of defining the semantic graph and mapping that (hint, it's exponential that's why OOP languages are shit)
it's basically a bypass for the complexity part of that construct, without the compilation cost
they basically hacked inheritance to death
i'm not sure but this could be the steak in the heart for OOP, inheritance was its only gimmick