> -- Илья Ермаков писал(а):
> Ну, лично я скептически отношусь к "умному" инструментарию Наличие хорошего набора "тупых" кирпичиков в итоге оказывается лучше, чем один "умный волшебный ящик".

Я представляю себе это не как "волшебный ящик", а как штатную возможность в языке программирования

type A = real;
type B = real;
type C = A*B;

var k1,k2,k3 : real;
var a1,a2,a3 : A;
var b1,b2,b3 : B;
var c1,c2,c3 : C;

и транслятор должен транслировать

a2:=k1*a1;
b2:=k2*b1;
c2:=k3*c1;
a2:=a1/k1;
c2:=k3*a2*b1+a1*b2+c1;
b3:=c3/a3+b1;

и выдавать ошибку на

c2:=k2*a2;
a2:=a1/b2;
b2:=b1+k2;