как в комбинаторы функцию перевести?

[lomeo]

1. Имеем функцию f x y z = ....


2. С помощью лямбдабота переводим в pointfree стиль.


3. Меняем:
   
   
   
   • (.) на B
   
   
   • ($) на I
   
   
   • flip на C
   
   
   • ap на S
   
   
   • join на W
   
   
   • const на K
   
   
   
   

Ничего не забыл?

UPD: О! Задачка!
На что надо поменять liftM, liftM2 и т.д.?

Comments

[ex-ex-zhuzh.livejournal.com]

Это если у нас монада (t->), да?

[lomeo.livejournal.com]

Конечно! мы же говорим о pointfree.

[ex-ex-zhuzh.livejournal.com]

тогда liftM это B, а liftM2 не знаю, считать надо.

[lomeo.livejournal.com]

Прально. А liftM2 это комбинатор со странным именем, похожим на русскую Ф. Подсмотрел у Вольфенгагена.
В общем то, я хотел liftMn выразить через комбинаторы и n, пока не получается.

[mibori.livejournal.com]

Оп.

Я раньше считал, что I это id ...

[mibori.livejournal.com]

id x = x -- I x = x

[lomeo.livejournal.com]

id тоже меняем на I :-)