[stevencorona]

I absolutely love the BEAM and Elixir, but one of my common complaints and source of errors is the lack of compile-time type sanity checking, so I'm excited to see movement in this direction. Dialyzer is sorta okay, but the speed, cryptic errors, and syntax have kept me from fully embracing it.

[findjashua]

Gleam may be what you're looking for:

https://gleam.run/

[faitswulff]

I'd be curious how WhatsApp's internal statically typed Erlang solution looks compared to Gleam. If I had to guess based on current trends, I'd guess that it's a gradually typed, opt-in toolchain a la Sorbet or Typescript, in order to maintain backwards compatibility and gradually update their legacy codebase as opposed to a whole different language.

[callamdelaney]

This isn't ready for prime time yet iirc.

[sodapopcan]

It's not but is in constant development. The author is very active on elixirforum.com