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 h

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 https://www.erlang.org/doc/system/typespec.html