> К какому типу типизации относится Swift: динамической или статической? (iOS, Swift)

Swift относится к статической типизации. Это означает, что тип каждого выражения и переменной проверяется на этапе компиляции, а не во время выполнения. Компилятор Swift строго контролирует соответствие типов, что позволяет выявлять ошибки на ранних стадиях разработки и повышает безопасность кода. При этом Swift поддерживает механизм вывода типов (type inference), который позволяет не указывать тип явно в большинстве случаев, но тип всё равно фиксируется статически.