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

VD>>В прочем, в любом случае такой код никто в реальной жизни использовать не будет.

K>Ну с той скоростью, которую дает C# — естественно. А с той скоростью, что дает GHC — может и будет.

Если скорость важна, то разумный человек не будет использовать комбинаторный пасер вообще. Или напишет вручную, или сгенерирует с помощью построителей парсеров. Это по любому будет быстрее.

K>И каким образом это доказательство должно выглядеть? Я написал настолько аналогичный (и работающий при этом) код, насколько сумел. Это и есть мое доказательство — если я ошибся — пусть мне покажут где.

Я не настолько знаком с Хаскелем, чтобы проверять соответствие алгоритмов на нем.

K>Да нет там никаких особенных наворотов на итераторах.

Так удали их оттуда.

K>В том и дело, что алгоритм один — а разница существенная.

Вот в этом я не вполне уверен. Возможно как-то влияет ленивость хаскеля и он не выполняет некоторые действия. Возможно еще что-то...