Is what you describe static typing though? I don’t think having a predefined protocol format is static typing. You are still very much verifying correctness of system at runtime.