Luau: rozšíření jazyka Lua o statické typové kontroly a typovou inferenci (dokončení)

Na úvodní článek o typovém systému v projektu Luau dnes navážeme a celé téma dokončíme. Vysvětlíme si podrobnosti o typovém systému, včetně hierarchie datových typů, generických funkcích a funkcích spouštěných při typové analýze. Na úvodní článek o typovém systému a taktéž o statických typových kontrolách realizovaných v projektu Luau dnes navážeme a celé téma dokončíme. Vysvětlíme si další podrobnosti o typovém systému (který se v několika ohledech liší od například Pythonu s Mypy), budeme se zabývat hierarchií datových typů a nezapomeneme například ani na definici generických funkcí (a metod), na funkce, které jsou spouštěny v době statické typové analýzy (a tedy ne v runtime) atd.