> In the meantime I don’t know what people have against using @spec. It's not ergonomic enough (you end up writing function definitions twice). And there's ve

> In the meantime I don’t know what people have against using @spec. It's not ergonomic enough (you end up writing function definitions twice). And there's very little tooling to help automate the process: if you return the result of a function call, good luck figuring out the spec for that if that function is in a library somewhere