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

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

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

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

#ogoihf

2 comments recommend bookmark subscribe