B>Кто-что думает по этому поводу?. Ну и критика/комментарии п.1, п.2, п.3

B>P.S. Только не спрашивайте зачем это нужно
B>Во-первых, это может быть еще кому-то интересно.

Попробуй оценить "экономический эффект". Время твоей разработки, время на изменение типичной программы на списках на другую структуру данных, количество таких программ и эффект от оптимизации.

Например, я часто использую ассоциативные списки. Так мне их заменить на отображения — раз плюнуть. Поэтому я заморачиваться на порождающее программирование не буду. По крайней мере, в этом случае.

B>Во-вторых, возможно, такие вещи можно использовать в компиляторах языков, активно работающих со списками. Например на основе анализа кода или же прямых указаний пользователя происходят некоторые оптимизации работы со списками.
B>Хотя, может уже все придумано?

As part of a larger project, we have built a declarative assembly language. This language enables us to specify multiple code paths to compute particular quantities, giving the instruction scheduler more flexibility in balancing execution resources for superscalar execution.

Это не списки, но всё же близко.

LtU is your friend.