Ну расскажи уже, что там на самом деле-то? Заинтриговал донельзя.
Если редукция идёт по единственному пути и делает всё правильно; если функция построения списка итераций до первого равенства смежных элементов делает всё правильно; то остаётся уязвимость в alphaEq. Тогда это не уязвимость, а баг. Потому что для редукции известны несколько разных стратегий, дающих существенно разные результаты; а для итераций - проблема остановки. То есть там глюки возможны в штатном режиме.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
Date: 2013-03-28 02:46 pm (UTC)Если редукция идёт по единственному пути и делает всё правильно;
если функция построения списка итераций до первого равенства смежных элементов делает всё правильно;
то остаётся уязвимость в alphaEq.
Тогда это не уязвимость, а баг.
Потому что для редукции известны несколько разных стратегий, дающих существенно разные результаты; а для итераций - проблема остановки. То есть там глюки возможны в штатном режиме.