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.