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

S>Чем они строгие? Любой в v может записать все, что захочет.

Мы от чего защищаемся, от случайных ошибок, или от целенаправленного взлома?

От целенаправленного взлома защититься нельзя. Какой-нибудь индус поправит твои контракты, и получит премию за то, что "починил код, который не компилировался". А ты потом на выходные останешься, чинить свой старый код, который не работает с новыми контрактами, потому что не был на них рассчитан.

А, ну да, у вас в команде нет индусов. Будут, это вопрос времени.

S>Это в Pascal-е было за 30 лет до появления Go.

Ну во-первых, паскале не было. Во-вторых, все уже было в LISP, за 50 лет до появления всех прочих языков, не считая Фортрана. А в третьих, какая разница, где что и было?