Fórum Root.cz

Hlavní témata => Vývoj => Téma založeno: Coati 23. 10. 2022, 23:34:53

Název: Rozdíl mezi GADT a dependent types
Přispěvatel: Coati 23. 10. 2022, 23:34:53

Zdravím, je někdo schopen (a ochoten) vysvětlit rozdíl mezi GADT a dependent types? Co přinášejí ve funkcionálním programování nad rámec Haskellu a proč se nevyskytují v “běžných” jazycích (C++, Java, C#, Go…).

Název: Re:Rozdíl mezi GADT a dependent types
Přispěvatel: Idris 08. 11. 2022, 23:01:27

Hierarchie teoretické síly: ADT < HKT < GADT < DepTypes