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

[Idris]

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

[Reklama]

[Wavelet]

Snad se k tomu dostanu v OCaml(u). Spíš se rozmáhají nějak jazyky skoro na chlup podobné Haskell(u).

[oss]

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

[Idris]

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]

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

[Reklama]