4 ms·
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
by stevencorona 6y ago
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 6y agoGleam may be what you're looking for: https://gleam.run/ https://gleam.run/
- faitswulff 6y agoI'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 6y agoThis isn't ready for prime time yet iirc.
- sodapopcan 6y agoIt's not but is in constant development. The author is very active on elixirforum.com