Gleam 0.14 – Type-safe language for the Erlang VM
it's cool that gleam emits typespecs.  After tooling around implementing type analysis in Elixir, I do have a personal take that dialyzer typespecs are broken, maybe we should convene a group in the erlef to coordinate towards improving the typesystem.