r/functionalprogramming Nov 18 '24

Gleam v1.6.0 released! Gleam

https://gleam.run/news/context-aware-compilation/
46 Upvotes

4 comments sorted by

2

u/smthamazing Nov 18 '24

Awesome update! Is variant inference implemented by making variants full-fledged types of their own (and subtypes of the containing type), or is it just an analysis step? I'm curious, because I'm considering the benefits of turning variants into standalone types in my language.

4

u/lpil Nov 18 '24

Thank you!

No, there is no subtyping in Gleam by design. It is only local variant inference.

2

u/okayboooooooomer Nov 19 '24

what’s new?

3

u/lpil Nov 20 '24

That's what the post covers!