Отлов утечек памяти - GNAT, (разделено) Опции

[TarasBer]

Новые вопросы - какая функция определяет наличие или отсутствие утечек памяти?
Я скачал ВинАДУ, поставил, как подключить пакет, содержащий заголовки виндовых библиотек? with ADA.Windows не рабтает, нет такого пакета.

[TarasBer]

Summ и Prod пока действительно не нужны. Это я добавил чтобы было отдельно для оператора и отдельно для функции. Ну мало ли в будущем мне понадобится ещё какой-нибудь контроль, и в Add (для оператора) я допишу "аргументов должно быть ровно два". Правда, тогда придётся наоборот вызывать Summ из Add.

Кстати, я вот хотел вместо

function Exp is new TF(Exp);
Add_Func("exp", "Экспонента", Exp'access);

написать

Add_Func("exp", "Экспонента", new TF(Exp)'access);

Мне кажется, что это что-то уже близкое к лямбдам.

> Зачем дженерики тогда? Делаем так:

Для функций я догадался до генериков.
Для операторов - нет, исправлю.
Кстати, для них можно же написать сразу

function Div is new TwoParams ("/");
function Pow is new TwoParams ("**");

?