To by bylo super. Na Swift se podívám. Já hledal obecně, a našel jen něco pro TypeScript, ale to odhadem je něco jiného stejného jména.
Jo, to bylo asi “indexable types”, já zmiňoval “indexical types.” To jsou typy, jejichž denotát závisí na kontextu. V podstatě něco jako “this”, ale na úrovni typů. Jsou to obecně higher-kinded typy, které žádný z hlavních OO jazyků vyjma C++ nemá. V metodách se dá používat Self[T] a podobné srandičky, což vede k mnohem silnějšímu typovému systému, než má třeba Java.