What does HackerNews think of eqwalizer?

A type-checker for Erlang

Language: Erlang

Unpacking Elixir: Concurrency | Aug 2023
Expand Context ↕
Are you aware of any of the recent advances?

There is the set theoretic types work [1] lead by Jose and a couple of PhDs and also eqwalizer by WhatsApp [2]

[1] https://elixir-lang.org/blog/2022/10/05/my-future-with-elixi... [2] https://github.com/WhatsApp/eqwalizer
Erlang: The coding language that finance forgot (2022) | Feb 2023
Expand Context ↕
I think WhatsApp was Elixir

Erlang, actually; and they're still using it -- here's a paper-abstract[0] from Sept.2022 (and video of a talk[1]) about their open-source "EqWAlizer" tool[2] for statically-typing Erlang (as-is).

(EqWAlizer was discussed on an Erlang-related podcast[3], including its relationship to Dialyzer -- the original Erlang type-checking tool -- and it was briefly discussed on HN[4]).

[0] https://dl.acm.org/doi/10.1145/3546186.3552537

[1] https://www.youtube.com/watch?v=do9f2FKsKxM

[2] https://github.com/WhatsApp/eqwalizer

[3] https://www.beamrad.io/35

[4] https://news.ycombinator.com/item?id=32330284
Phoenix 1.7 is View-less | Dec 2022
Expand Context ↕
While it's not as robust as static-typing, compile-time type checking for Erlang has come a long way. Eqwalizer works pretty well, though but I may be biased since my employer sponsors the project.

1. https://github.com/WhatsApp/eqwalizer
Phoenix 1.7 is View-less | Dec 2022
The type checker from WhatsApp is open sourced and actively used. See https://github.com/WhatsApp/eqwalizer
Why I program in Erlang (2012) | Nov 2022
Expand Context ↕
Erlang. They recently open sourced an Erlang type checker https://github.com/WhatsApp/eqwalizer and tree-sitter grammar https://github.com/WhatsApp/tree-sitter-erlang.
Elixir Livebook now as a desktop app | Aug 2022
Expand Context ↕
From the discord blog posts it seems that elixir powers the chat system, with rust and python as the other two main languages in their stack.

As for whatsapp, they are mainly a erlang shop and yesterday they open sourced a type checker for erlang:

https://github.com/WhatsApp/eqwalizer