Zhrnutie na Moravsko-panónske legendy: Životy Konštantína a Metoda

## Úvod Typizovanie metód je spôsob, akým programovací jazyk overuje a popisuje, aké typy hodnôt metóda očakáva ako vstup a čo vracia ako výstup. Cieľom je predchádzať chybám už pri písaní kódu a umožniť lepšiu čitateľnosť, refaktorovanie a optimalizáciu. > **Definícia:** Typizovanie metód je formálne označenie typov parametrov a návratovej hodnoty metódy tak, aby bolo možné overiť ich kompatibilitu počas kompilácie alebo behu programu. ## Základné pojmy ### 1. Signatúra metódy Signatúra metódy obsahuje názov metódy a typy jej parametrov a návratovú hodnotu. Signatúra rozhoduje, ktorá metóda sa zavolá pri preťažení. > **Definícia:** Signatúra metódy = názov metódy + typy parametrov + (voliteľne) typ návratu. Príklad: metóda so signatúrou $foo(int, string) : bool$ očakáva parameter typu $int$ a $string$ a vracia $bool$. ### 2. Statické vs. dynamické typovanie - **Statické typovanie**: typy sú overované pri kompilácii. Príklad: $int$, $float$, vlastné triedy v jazykoch ako Java, C++. - **Dynamické typovanie**: typy sa overujú za behu; kódy môžu byť flexibilnejšie, no náchylnejšie na runtime chyby. | Vlastnosť | Statické typovanie | Dynamické typovanie | |---|---:|---:| | Overenie | pri kompilácii | za behu | | Bezpečnosť | vysoká | nižšia | | Flexibilita | nižšia | vyššia | | Príklady jazykov | Java, C++, C# | Python, JavaScript | ### 3. Silné vs. slabé typovanie - **Silné typovanie**: implicitné konverzie sú obmedzené; operácie medzi nekompatibilnými typmi sú zakázané bez explicitného pretypovania. - **Slabé typovanie**: jazyk umožňuje viac implicitných konverzií. ## Typy parametrov a návratových hodnôt - Jednoduché typy: $int$, $float$, $bool$, $char$ - Zložité typy: polia, zoznamy, mapy, objekty, generické typy (napr. $List<T>$) - Void / Unit: metóda, ktorá nevracia hodnotu, má návratový typ $void$ alebo $Unit$. Praktický príklad signatúry v pseudo-jazyku: $$calculateSum(list<int>) : int$$ Tento zápis hovorí: funkcia pri­jme $list<int>$ a vráti $int$. ### Voliteľné a predvolené parametre - Voliteľné parametre môžu byť vynechané pri volaní; jazyk ich buď doplní predvolenou hodnotou, alebo vyžaduje špeciálny zápis. - Predvolené hodnoty pomáhajú zjednodušiť volanie metód. ### Preťaženie metód (overloading) Preťaženie umožňuje viaceré metódy so rovnakým názvom, ale rôznymi signatúrami. | Scenár | Výhodnosť | |---|---:| | Viacero spôsobov vytvorenia objektu | + | | Nejednoznačnosť pri implicitných konverziách | - | ## Generické typovanie (parametrické typy) Generiká umožňujú definovať metódy, ktoré pracujú s rôznymi typmi bez opakovania kódu. Príklad signatúry: $$swap<T>(T, T) : (T, T)$$ Tu $T$ je všeobecný typ; funkcia $swap$ vymení dve hodnoty typu $T$. > **Definícia:** Generické typovanie umožňuje definovať typy a metódy parametrizované typovými premennými, napr. $T$, $K$, $V$. ## Kovariantnosť a kontravariantnosť - **Kovariančné** typy (covariant) umožňujú nahradiť typ výsledku jeho odvodzeným typom. - **Kontravariantné** typy (contravariant) umožňujú nahradiť typ parametra jeho nadtriedou. Krátky príklad: ak $Cat$ je podtyp $Animal$, tak pre pole typu výstupu môže platiť kovariancia: $List<Cat>$ je podtyp $List<Animal>$ (závisí od jazyka). ## Overovanie kompatibility typov - Pri volaní metódy jazyk kontroluje, či typy argumentov sú kompatibilné s typmi v signatúre. - Kompatibilita môže zahŕňať implicitné konverzie, rozšírenia alebo konverzie definované programátorom. Príklad: metóda $printNumber(float)$ môže byť volaná s $int$ ak existuje implicitná konverzia $int o float$. ## Typové anotácie a dokumentácia - Typové anotácie (type hints) zlepšujú čitateľnosť a umožnia nástrojom (lintery, IDE) lepšiu analýzu. - V jazykoch s dynamickým typovaním (napr. Python) sú anotácie voliteľné, ale užitočné. ## Bezpečnosť pri návrate null / nullable typov - Nullable typy explicitne uvádzajú možnosť vrátenia $null$ alebo $None$. - Lepšie je používať typy ako $Option<T>$ alebo $Maybe<T>$ namiesto tichého vracania $n