WH>Если код реализующий посылку сообщений генерируется из схемы, в которой прописаны все типы и номер версии, то такого быть не может.

Если бы да кабы, да...

В общем, ты сам рассказываешь о толпе предусловий, которые должны быть выполнены прежде, чем статическая типизация заработает, но почему-то сильно удивляешься, когда я указываю на эти условия и почему-то утверждаешь, что я в чем-то неправ