Если это использовать именно для проверки, получится еще один язык из серии ада. И писать на нем - аццкое занятие будет :) :), как и объем сгенеренного кода будет адским, как и тормоза :).

Отправлено SM 18 декабря 2006 г. 17:41
В ответ на: ..А я иду дальше:и говорю компилятору, например:"я не знаю, чему точно равно А в этой точке, но я точно знаю, что в этой точке и далее А>B"...соотв.компилятор может использ. эту инфу в дальнейшем для проверки... отправлено ТуамОсес 18 декабря 2006 г. 17:37

---