Здравствуйте, 0x7be, Вы писали:

0>Мое предложение позволяет часть протокола выразить формально через систему типов языка, что позволит использовать компилятор для проверки корректности.

Можно как-то при этом ещё оставить программисту возможность вызывать методы "не правильно"? Например я могу реализовать open(), read() и write() пустыми, потому что моя реализация интерфейса нужна только для того чтобы закрывать полученные откуда-то свыше дескрипторы вызывая close().