@Laz, гм, что принципиально нового я найду в факторе? Хаскель я хочу выучить параллельно с осваиванием теории типов ну и в дальнейшем если осилю теории категорий.
@grouzen, Не, просто.. :) Ну, если ты такие задачи ставишь, то, наверное, хаскель здесь лучше всего подойдёт. Для теории типов, да. А теорию категорий лучше осваивать с ерлангом :)