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