Fórum Root.cz

Hlavní témata => Vývoj => Téma založeno: Idris 27. 11. 2022, 15:27:45

Název: Juvix — další jazyk se závislostními typy
Přispěvatel: Idris 27. 11. 2022, 15:27:45

Rozmáhá se nám tu takový “nešvar” — závislostní typy: https://juvix.org/ :)
Používáte někdo aspoň GADT?

Název: Re:Juvix — další jazyk se závislostními typy
Přispěvatel: Wavelet 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).

Název: Re:Juvix — další jazyk se závislostními typy
Přispěvatel: oss 28. 11. 2022, 07:40:20

Dalsi velmi relativne zaujimavy jazyk, ktory je ale v praxy nepouzitelny.

Název: Re:Juvix — další jazyk se závislostními typy
Přispěvatel: Idris 28. 11. 2022, 15:21:05

Citace: uetoyo  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?

Název: Re:Juvix / OCaml
Přispěvatel: Idris 17. 12. 2022, 22:58:22

Just so you know — právě vyšel OCaml 5.0.0.