TropicSapling/triforce

'extends' may be a bit confusing

Closed this issue · 1 comments

type T extends T2 does not actually extend T2, but rather makes T a subtype of T2. So perhaps extends should be renamed to something else?

Possible alternatives:

  • instanceof
  • is of

Actually nvm extends is used very similarly in Java and the alternatives are probably worse, closing this.