pol-d-nik,

давай конкретно что те не понятно говори, а то ф-я в принципе примитивная, но как ее тебе словами описать, ну короче,
ф-я принимает предикат для двох аргументов, и один из аргументов и список, и возвращает истину, если существует в списке такое значение, для которого предикат вернет истину. но эта ф-я, имхо, для хаскеля бесполезна, так как там есть карринг.
и поэтому вместо этой ф-и лучше использовать просто ф-ю any :

тогда вместо запси
any_of f a bs
будет запись:
any (f a) bs


все понятно?

з.ы. где ты нашел такую ф-ю? что за стандарт? я в модуле Prelude ее не нашел.

pol-d-nikСпасибо!

Да, то что вы описали - понятно. Еще вопрос следующий - определяется ли в Haskell для данного случая, что будет происходить если проверка функции для одного аргумента из списка завершится с ошибкой?


если нужно подробней описать - спрашивай.

"проверка функции" завершится ошибкой, то и внешняя функция завершится ошибкой. но проверять на ошибке в этом месте не принято.
нужно понимать, что не все обязательно будут тестироваться, и если тест даст истинный результат, до того элемента на котором вылетит ошибка, то до того элемента не дойдем и ошибки не будет.

если хочешь проверку на ошибке на данном уровне, то нужно работать с типом Maybe.

pol-d-nikВы правы, это не функция Haskell, авторы просто использовали его для описания семантики своих функций, которые предписывают реализовывать. Стандарт тут если интересно: http://docs.oasis-open.org/xacml/2.0/access_control-xacml-2.0-core-spec-os.pdf.

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