Как се различават статичната и динамичната типизация в програмните езици?

Статичната типизация означава, че типовете на променливите се определят и проверяват по време на компилация. Това позволява да се открият грешки в типовете преди изпълнението на програмата. Например, в Swift или C++ типът на променливата се указва явно или се извежда от компилатора, и не може да бъде променян.

Динамичната типизация означава, че типовете на променливите се определят по време на изпълнение на програмата. Това предоставя по-голяма гъвкавост, но грешки в типовете могат да се проявят само по време на работа. Примери за езици с динамична типизация са Python и JavaScript.

Пример в Swift (статична типизация):

var number: Int = 10
number = "низ" // Грешка при компилация

Пример в Python (динамична типизация):

number = 10
number = "низ"  # Работи без грешки