Можете объяснить различия между статической и динамической типизацией в языках программирования?

Статическая и динамическая типизация отличаются тем, когда происходит проверка типов данных:

• Статическая типизация — типы переменных и выражений проверяются во время компиляции. Это значит, что ошибки типов выявляются до запуска программы. Пример языков со статической типизацией: C#, Java, C++.
• Динамическая типизация — типы проверяются во время выполнения программы. Переменные могут менять типы, и ошибки типов проявляются только при выполнении. Пример языков с динамической типизацией: Python, JavaScript, Ruby.

В C# статическая типизация позволяет ловить ошибки на этапе компиляции, что повышает надежность и производительность. Однако динамическая типизация дает большую гибкость и удобство при быстром прототипировании.

Пример статической типизации в C#:

int number = 5;
number = "text"; // Ошибка компиляции

В динамически типизированном языке, например Python, такое возможно:

number = 5
number = "text"  # Это допустимо