У меня возникли проблемы с преобразованием лямбды для переключения в комбинаторы SKI (надеюсь, это имеет смысл). Вот мое преобразование: /fxy.fyx
/f./x./y.fyx
/f./x.S (/y.fy) (/y.x)
/f./x.S f (/y.x
Я недавно занимался F # (мой фон - C#), и я читаю сайт http://fsharpforfunandprofit.com, который я нахожу очень полезным. У меня есть http://fsharpforfunandprofit.com/posts/defining-functions/, которы