FR>>Замыкание без проблем эмулируется классом — функтором.

VD>А класс-функтор без проблем эмулируется структурами и указателями на фунции, т.е. структрным программированием.

VD>А структрное программирование без проблем эмулируется с помощью ассемблера.

VD>Да здравствует ассемблер!

Я думаю, что интерпретатор Хаскеля именно так и реализован.