3 ms·
The only thing holding me back from Erlang is the lack of type checking. Convince me?
by adamddev1 11mo ago
The only thing holding me back from Erlang is the lack of type checking. Convince me?
- igouy 11mo agohttps://www.erlang.org/doc/system/typespec.html https://www.erlang.org/doc/system/typespec.html
- simoncion 11mo agoYep. You feed files annotated with those to Dialyzer or similar for not-runtime typechecking. That plus the basic runtime checking provided by guard expressions [0] gives you a bunch of coverage... and I think some of the folks who like Elixir are working on their own typechecker thing? I don't really know, because I don't use Elixir. [0] <https://www.erlang.org/doc/system/expressions.html#guard-expressions https://www.erlang.org/doc/system/expressions.html#guard-exp...>
- modernerd 11mo agoYou might like https://gleam.run/ https://gleam.run/, another BEAM language but with type-checking. https://tour.gleam.run/basics/type-checking/ https://tour.gleam.run/basics/type-checking/
- Alupis 11mo agoGleam compiles to Erlang. So you can skip Erlang entirely but get all of the BEAM and ecosystem's benefits. Gleam is very much worth checking out. It's syntax is very nice and natural feeling.
- adamddev1 11mo agoI have checked out Gleam and yes it does look delightful. Function captures are a really cool idea.