lukish 29.04.2012 00:06

Допустим, есть некоторый лист туплов [(α,α)], где тупл означает связанность двух элементов некоторым бинарным отношением. Для того, чтобы сделать функцию, которая для двух элементов α возвращает связаны ли они этим бинарным отношением, нужно как-то пропихнуть лист туплов в функцию.

То есть, её сигнатура будет ∷ [(α, α)] → α → α → Bool.

Вопрос: как приблизиться к чему-то более инфиксному юзабельному вида, грубо говоря, ∷ α → α → Bool?

Смущает то, что контекст для двух элементов не должен быть разным.
Пахнет ридер-монадой, не
?

1. jtootf 29.04.2012 09:27

что мешает связать список частичным применением?

2. lukishjtootf /1 29.04.2012 09:29

Наверное проще будет сделать так, да.

Do you really want to delete ?