But it has nothing to with typing, as typing means tying to a location in program, you can have processes communicating part of the same program, but the type-e

But it has nothing to with typing, as typing means tying to a location in program, you can have processes communicating part of the same program, but the type-error will refer to a part of program and when the type-error is detected i.e. during execution of that part of program or some external part of program is what we are concerned here. Example: You could think of an interpreter for a statically-typed language running various processes as the same program, but we still say the language is statically typed.