Rozmáhá se nám tu takový "nešvar" — závislostní typy: https://juvix.org/ :)
Používáte někdo aspoň GADT?
Snad se k tomu dostanu v OCaml(u). Spíš se rozmáhají nějak jazyky skoro na chlup podobné Haskell(u).
Dalsi velmi relativne zaujimavy jazyk, ktory je ale v praxy nepouzitelny.
Citace od: uetoyo kdy 27. 11. 2022, 17:45:23
Snad se k tomu dostanu v OCaml(u). Spíš se rozmáhají nějak jazyky skoro na chlup podobné Haskell(u).
Jo, OCaml má GADT taky (IMHO to do jazyků odvozených ze starého dobrého ML pasuje pěkně).
S tím Haskellem, které jazyky to mají být?
Just so you know — právě vyšel OCaml 5.0.0.