Здравствуйте, vdimas, Вы писали:

V>А если по делу, мне крайне не нравится реализация алгебраических типов в Немерле. Она там одинакова для рекурсивных и нерекурсивных АглТД, т.е. явно была сделано "на скорую руку". Но нынешняя команда сим вопросом заниматься не будет.

А чем должна отличаться реализация для нерекурсивных?