Eqwalizer: A Type-Checker for Erlang

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
2 Likes