Os linguagens de programação como Swift têm um sistema de tipos rigoroso?

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