Обладают ли языки программирования, подобные Swift, строгой системой типов?

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