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

vsb>В дельфи похожая система была. А вот в жаве и в языках после неё почему-то не стали продолжать.

Потому что неудобно. Любые попытки пожертвовать удобством человека ради чистоты концепций постигает одна и та же судьба. Так произошло с предварительными декларациями контрактов, так же произошло с throws в Java.