It had type specification for years: https://learnyousomeerlang.com/dialyzer https://learnyousomeerlang.com/dialyzer They are opt in of course, but have the pr

It had type specification for years: https://learnyousomeerlang.com/dialyzer https://learnyousomeerlang.com/dialyzer They are opt in of course, but have the property that the more specifications you add and the more precise they are, the more type errors they'd discover. After it run it tells you if there is a type discrepancy. If it can't decide it doesn't say anything. The technical term for that is "success typing" http://www.it.uu.se/research/group/hipe/papers/succ_types.pdf http://www.it.uu.se/research/group/hipe/papers/succ_types.pd...