1. Fórum Root.cz
  2. Hlavní témata
  3. Vývoj
  4. Rozdíl mezi GADT a dependent types
« předchozí další »
Stran: [1]

Rozdíl mezi GADT a dependent types

  • 1 Odpovědí
  • 1782 Zhlédnutí

Coati

Rozdíl mezi GADT a dependent types
« kdy: 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…).
« Poslední změna: 24. 10. 2022, 08:03:45 od Petr Krčmář »
IP zaznamenána

Reklama

  • * * * * *

Idris

  • *****
  • 2 286
    • Zobrazit profil
    • E-mail
Re:Rozdíl mezi GADT a dependent types
« Odpověď #1 kdy: 08. 11. 2022, 23:01:27 »
Hierarchie teoretické síly: ADT < HKT < GADT < DepTypes
IP zaznamenána
Stran: [1]
« předchozí další »
  1. Fórum Root.cz
  2. Hlavní témata
  3. Vývoj
  4. Rozdíl mezi GADT a dependent types