WhatsApp/eqwalizer
View on GitHub ↗ ★ 547 Scala archived
A type-checker for Erlang
11 mentions on Hacker News by 11 people: 2 stories, 9 comments · first 2022-08-02 · latest 2023-11-12
20082026
-
…said my bet for the best statically typed experience right now on the BEAM would be `gleam`. 0 - https://github.com/WhatsApp/eqwalizer 1 - https://gleam.run 2 - https://github.com/purerl/purerl
comment by 59nadir · 2023-11-12 · in Switching to Elixir -
…eqwalizer by WhatsApp [2] [1] https://elixir-lang.org/blog/2022/10/05/my-future-with-elixi... [2] https://github.com/WhatsApp/eqwalizer
comment by mhanberg · 2023-08-25 · in Unpacking Elixir: Concurrency -
…analyzer for Erlang ( https://github.com/erlang/otp/pull/5997 ) - a type checker for Erlang ( https://github.com/WhatsApp/eqwalizer/ ) - an automated code formatter for Erlang ( https://github.com/WhatsApp/erlfmt ) - a grammar to easily…
comment by rmorisset · 2023-04-26 · in Erlfuzz – Fuzzer for the Erlang compiler and VM -
…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
comment by qohen · 2023-02-02 · in Erlang: The coding language that finance forgot (2022) -
…Eqwalizer works pretty well, though but I may be biased since my employer sponsors the project. 1. https://github.com/WhatsApp/eqwalizer
comment by wa_throwaway · 2022-12-31 · in Phoenix 1.7 is View-less -
The type checker from WhatsApp is open sourced and actively used. See https://github.com/WhatsApp/eqwalizer
comment by micmus · 2022-12-31 · in Phoenix 1.7 is View-less -
…a replacement from whatsapp. Ive heard good things but not used it myself. I'm mistaken, the FAQ ( https://github.com/WhatsApp/eqwalizer/blob/main/FAQ.md ) mentions that its not a replacement.
comment by worthless-trash · 2022-12-07 · in Elixir – HUGE Release Coming Soon -
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 .
comment by theanirudh · 2022-11-02 · in Why I program in Erlang (2012) -
▲ 86
Eqwalizer: A Type-Checker for Erlangstory by hasheddan · 2022-08-03 · 11 comments
-
…whatsapp, they are mainly a erlang shop and yesterday they open sourced a type checker for erlang: https://github.com/WhatsApp/eqwalizer
comment by thomasfortes · 2022-08-03 · in Elixir Livebook now as a desktop app -
▲ 2
Eqwalizer: WhatsApp’s Erlang Type Checkerstory by sharno · 2022-08-02 · 0 comments