Я просто изобрел немного монады, но я не уверен, что. Это позволяет вам моделировать шаги вычисления, поэтому вы можете перекрестите шаги многочисленных вычислений, чтобы найти, какой из них заканчивается первым. {- # ...
вопрос задан: 28 August 2011 20:57