4 ms·
Very interesting! I've been using Elixir on a smaller project and have been quite impressed. It just feels friendly and palatable, while also being quite powerf
by mbm 10y ago
Very interesting! I've been using Elixir on a smaller project and have been quite impressed. It just feels friendly and palatable, while also being quite powerful for highly concurrent workloads.
Agreed on the typing, however.
- qohen 10y agoAgreed on the typing, however. Have you guys looked into Dialyzer? Dialyzer is a static analysis tool for Erlang and other languages that compile to BEAM bytecode for the Erlang VM. It can analyze the BEAM files and provide warnings about problems in your code including type mismatches and other issues that are commonly detected by static language compilers. The analysis can be improved by inclusion of type hints (called specs) but it can be useful even without those. For more information I highly recommend the Success Typings paper that describes the theory behind the tool. That's from the Dialyxir (for using Dialyzer w/Elixir) github page: https://github.com/jeremyjh/dialyxir https://github.com/jeremyjh/dialyxir More: http://learnyousomeerlang.com/dialyzer http://learnyousomeerlang.com/dialyzer (Perhaps this should be read first: http://learnyousomeerlang.com/types-or-lack-thereof http://learnyousomeerlang.com/types-or-lack-thereof ) And this is the Success Types paper behind it (mentioned in the excerpt above): https://www.it.uu.se/research/group/hipe/papers/succ_types.pdf https://www.it.uu.se/research/group/hipe/papers/succ_types.p...
- mbm 10y agoI was just reading about it today. Awesome!