Локальные лямбды. Proof of concept

[Иван Шихалев]

Почитал. Улыбнулся.
Имхо, это не соображения.

Что почитал? Я дал ссылку на конкретную ветку обсуждения. Где в ней вечные темы? Там совершенно четко проговаривается, что обычные процедурные типы и 'of object' - это частные случаи 'nested' по сути. Соответственно, можно встроить в компилятор одностороннее приведение типов.

Добавлено спустя 2 минуты 45 секунд:

Решение части проблем уже есть и запланировано разработчиками FPC - обобщенные процедуры.

Ссылку можно?

[MageSlayer]

Там совершенно четко проговаривается, что обычные процедурные типы и 'of object' - это частные случаи 'nested' по сути. Соответственно, можно встроить в компилятор одностороннее приведение типов.

Э-э. Об этом уже давно говорилось в исходном тикете на багтрекере.
Я ожидал увидеть новые/неочевидные идеи, а не перевод с английского на русский.

Добавлено спустя 2 минуты 45 секунд:

Решение части проблем уже есть и запланировано разработчиками FPC - обобщенные процедуры.

Ссылку можно?

Можно - http://wiki.freepascal.org/Generics_proposals - искать по "function Max". По сути шаблоны аля C++.

[Иван Шихалев]

По сути шаблоны аля C++

Угу. И какое это имеет отношение к процедурным типам?

говорилось в исходном тикете на багтрекере

Не все знают багтрекер наизусть

[MageSlayer]

По сути шаблоны аля C++

Угу. И какое это имеет отношение к процедурным типам?

Ну как какое?
Можно будет писать код, не заморачиваясь на то, какие типы указателей предпочитает пользователь
Эстеты/интеллигенты же текстовые препроцессоры не переносят.