Ankhers
Eqwalizer: A Type-Checker for Erlang
It looks like the team over at WhatsApp have finally released their Erlang type checker, eqWAlizer
I know a few of us have been looking forward to this and I happened across it a little while ago. Wanted to get peoples thoughts on it.
Most Liked
ityonemo
It’s baffling to me:
- I don’t know why they wrote it in scala.
- it analyzes Erlang ast (I think) why they didn’t go with bytecode is also baffling to me… If for no other reason that you don’t have to deal with macros
Enuzo
In the FAQ:
What about Elixir?
As it is today, eqWAlizer works only with Erlang code. However, eqWAlizer operates on the Erlang AST, which the Elixir compiler is capable of producing. It should be entirely possible to run eqWAlizer analysis on the Elixir-produced BEAM files. We’d be happy to accept PRs in this area!
ityonemo
Last Post!
dimitarvp
Barely documented so far now just cautious optimism. Also a few examples on what exactly does their type-check would be extremely helpful but alas, nope.
Popular in Discussions
Other popular topics
Chat & Discussions>Discussions
Latest on Elixir Forum
Sponsor Spotlight
Producing high quality Elixir screencasts since 2017.
Categories:
Sub Categories:
Forums
Popular Tags
- #ecto
- #liveview
- #troubleshooting
- #learning-elixir
- #deployment
- #library
- #erlang
- #testing
- #genserver
- #mix
- #absinthe
- #remote-other
- #otp
- #plug
- #how-to-question
- #macros
- #postgres
- #channels
- #elixirconf
- #exunit
- #discussion
- #code-sync
- #javascript
- #podcasts
- #onsite
- #dialyzer
- #docker
- #authentication
- #umbrella
- #full-time-contract
- #podcasts-by-brainlid
- #ecto-query
- #elixir-ls
- #phoenix_html
- #iex
- #blog-post
- #graphql
- #genstage
- #ai
- #websockets
- #supervisor
- #elixirconf-us
- #advent-of-code
- #distillery
- #processes
- #api
- #forms
- #metaprogramming
- #security
- #hex
Our Sponsors
Build Elixir applications with speed and confidence.
Supporting innovation across the BEAM ecosystem.
We build reliable cloud platforms for business-critical systems.
Catch errors, track performance, monitor hosts and more.
Error tracking, logs, uptime, and Just Enough APM. Built for developers.
Practical resources that improve the lives of professional developers.
Develop your skills with books, videos, and courses.
Enabling companies to succeed by building software people love.
The team behind Membrane, Popcorn, LiveDebugger. Available for hire.
Courses that'll move you from confusion to "Aha, now I get it!"