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

К>Т.е. ничего практически строгого не получается и весь груз ответственности ложится на программера, а не на компайлер?
К>Что-то как-то такое решение мне не кажется особо хорошим...

А тебе не странно что на том же ОКамле тоже есть побочные эффекты?