How to write Elixir code in a way that makes it easy to refactor, without emulating a type system with unit tests?

[rodrigues]

@mmmrrr

The gripe I have with it is that it’s very easy to put any() anywhere (just like in typescript) and that you can simply ignore the tool completely if you don’t care.

Not if you have underspecs on I’ve just put up a gist with a few pratical errors dialyzer can spot for you dialyzer_example.ex · GitHub

Dialyzer & Elixir experience is getting better over time (specially thanks to dialyxir), but there is still a lot of room for improvement for sure.