Sort-of. Developers provide typespec which is like a hint and use dialyzer to find issues before runtime.