thesz Nov 12, 2007 17:20
сравнение с образцом, комбинаторная логика, алгебраические типы данных, суперкомбинаторы