some и any: opaque и existential типы

some P это opaque type: функция возвращает конкретный тип, который не называет, но он всегда один, и компилятор его знает. Поэтому вызовы специализируются, могут инлайниться, нет упаковки. С Swift 5.7 some можно писать и в параметрах, это сахар для дженерика. any P это existential: значение кладётся в контейнер с inline-буфером на три слова (большее уезжает в кучу), рядом метаданные и witness tables, вызовы динамические. Зато в массиве [any Shape] могут лежать разные типы. Моё правило: по умолчанию some или дженерик, any там, где реально нужна гетерогенность или хранение разных реализаций. В SwiftUI это особенно важно: some View сохраняет статическую структуру дерева, а AnyView её стирает и мешает эффективному сравнению.