Dlaczego konieczne jest ścisłe typowanie i dlaczego jest ono wygodniejsze w pracy niż typowanie dynamiczne w JavaScript lub Python?