Miért szükséges a szigorú típusosság, és miért kényelmesebb vele dolgozni, mint a dinamikus típusossággal JavaScript vagy Python esetében?