I prefer something like specs[1] that define a function’s signature but isn’t enforced by the compiler, instead the linter enforces them.

This is what Erlang has and it’s very convenient since once a design is fixed, I end up writing a spec to remind me what types the function expects.

[1] = https://www.erlang.org/doc/system/typespec.html