Mají programovací jazyky jako Swift přísný systém typů?

Да, Swift обладает строгой системой типов. Это означает, что типы переменных и констант определяются явно или выводятся компилятором, и операции между несовместимыми типами запрещены без явного преобразования. Такая система помогает избежать многих ошибок во время компиляции, повышая надежность и безопасность кода.