Juvix — další jazyk se závislostními typy

Idris

  • *****
  • 2 286
    • Zobrazit profil
    • E-mail
Juvix — další jazyk se závislostními typy
« kdy: 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?


Re:Juvix — další jazyk se závislostními typy
« Odpověď #1 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).

oss

  • ***
  • 229
    • Zobrazit profil
    • E-mail
Re:Juvix — další jazyk se závislostními typy
« Odpověď #2 kdy: 28. 11. 2022, 07:40:20 »
Dalsi velmi relativne zaujimavy jazyk, ktory je ale v praxy nepouzitelny.

Idris

  • *****
  • 2 286
    • Zobrazit profil
    • E-mail
Re:Juvix — další jazyk se závislostními typy
« Odpověď #3 kdy: 28. 11. 2022, 15:21:05 »
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?

Idris

  • *****
  • 2 286
    • Zobrazit profil
    • E-mail
Re:Juvix / OCaml
« Odpověď #4 kdy: 17. 12. 2022, 22:58:22 »
Just so you know — právě vyšel OCaml 5.0.0.