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...).
Hierarchie teoretické síly: ADT < HKT < GADT < DepTypes