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