Šta znači stroga tipizacija u programiranju?

Stroga tipizacija znači da se tip podataka promenljive određuje u fazi kompajliranja ili izvršavanja, i programski jezik nadgleda poštovanje tih tipova, ograničavajući ili zabranjujući operacije između nespojivih tipova.

Glavne karakteristike u kontekstu Pythona (dinamička, slaba tipizacija, ali i dalje smatra se "strogo" u poređenju sa C/C++):

• Implicitna konverzija tipova: Python vrši manje automatskih konverzija tipova nego neki drugi jezici. Na primer, ne može se direktno sabrati string i broj.

  # Primer nefunkcionalne implicitne konverzije
  # print("Broj: " + 5) # Dobiće TypeError
  

• Provera tipova tokom izvršavanja: Greške povezane sa nespojivošću tipova obično se otkrivaju tokom izvršavanja programa.

  # Primer provere tipa tokom izvršavanja
  def add_numbers(a, b):
      if not isinstance(a, (int, float)) or not isinstance(b, (int, float)):
          raise TypeError("Oba argumenta moraju biti brojevi")
      return a + b
  
  # add_numbers(5, "tekst") # Dobiće TypeError
  

• Očuvanje tipa: Tip podataka promenljive obično se održava tokom njenog životnog ciklusa, osim ako se ne izvrši eksplicitna konverzija ili dodeli vrednost drugog tipa.

  # Primer očuvanja tipa
  x = 10      # x je tipa int
  x = "Zdravo" # Sada je x tipa str - dinamička tipizacija, ali se tip zadržava nakon dodele
  

Stroga tipizacija (čak i u dinamički tipiziranom Pythonu) pomaže u sprečavanju grešaka povezanim sa neispravnim operacijama između podataka različitih tipova, čineći kod predvidljivijim i sigurnijim.