Kodėl reikalingas griežtas tipavimas ir kodėl jis yra patogesnis dirbti nei dinaminis tipavimas JavaScript ar Python?