Ankhers

Ankhers

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.

Showing Posts 1 to 5

ityonemo

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

Enuzo

GitHub reports stat is: Erlang 55.5%, Scala 35.5%, Rust 9.0%.
I don’t know how accurate this is-- given that one of my repos reports 100% JS when it should be approximately 40% Elixir, 50% JS, 10% HTML.

Enuzo

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

ityonemo

/src/main/com/scala/WhatsApp/eqwalizer

dimitarvp

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.

— All posts loaded —

Where Next? Top

Trending in Discussions Top

AstonJ
As the title says, please share what you’ve been up to with Elixir. Whether that’s been learning it, looking into it, making stuff with i...
2977 92995 915
New
caslu
I want to open this thread for you all to discuss and help those who really like Ash but are still hesitant to use it in a real project. ...
New
mudasobwa
I am happy to introduce the very α version of the new programming language compiled to BEAM. Welcome Cure. It has literally three kille...
New
GES233
I’m posting this in response to Jose’s recent tweet (Cr. link) : People are sleeping on Elixir for a coding harness: Hot-code swappi...
New
_mfierro
Hello, I wrote Stop My Hand, a Scattergories-like web application using Phoenix/LiveView as my learning project for Elixir (after readin...
New
nseaSeb
AcmeScript — Writing JS hooks as if I were still using Elixir I’ve been having fun building a little something over the last few days: Ac...
New
marciol
It would be helpful to have a list of companies worldwide that hire engineers without prior experience in Elixir. Often, it can be quite ...
New

Other Trending Topics Top

garrison
Hobbes is a low-level distributed database for the Elixir programming language. Hobbes provides a simple, safe, and scalable storage lay...
New
jimsynz
Beam Bots (or just BB for short) is a framework for building fault-tolerant robotics applications in Elixir using familiar OTP patterns. ...
New
mcass19
ExRatatui lets you cook up rich terminal UIs in Elixir, powered by Rust’s ratatui via Rustler NIFs. Build interactive terminal applicatio...
New
Damirados
Hello everyone. After busy few months I am happy to announce v0.1.0 of Emerge & Solve. They are GUI (Emerge) and State management (S...
New
netoum
Corex is an accessible, unstyled UI component library for Phoenix that integrates Zag.js state machines using Vanilla JavaScript and Live...
New
wintermeyer
There are three potential reasons for members of this forum to have a look at https://vutuv.de You are tired or annoyed of LinkedIn. Yo...
New

We're in Beta

About us Mission Statement

Options

Thread Display Mode




Thread Preview

Skip Thread Previews