That critique is a bit unspecific but I tend to agree. I have heard good a stuff about "gradulizer" though. It uses a gradual type system instead of dialyzers

That critique is a bit unspecific but I tend to agree. I have heard good a stuff about "gradulizer" though. It uses a gradual type system instead of dialyzers success typing. https://github.com/josefs/Gradualizer https://github.com/josefs/Gradualizer