Какое значение имеют понятия строгой и гибкой типизации в контексте языков программирования?