Názor k článku Statické typové kontroly zdrojových kódů Pythonu prováděné nástrojem Mypy od Ink - Opět ty Tvoje snobské řeči. O existenci GADT...

Opět ty Tvoje snobské řeči. O existenci GADT vím, jenže Scalu ani OCaml nepoužívám a nechystám se. A pokud to bude v Rustu, je otázka, kdy to skutečně budu skutečně potřebovat. Zatím nemá Mojo ani sum types, jenom je plánuje.