Serge Bobrovsky (sbobrovsky) wrote,
Serge Bobrovsky
sbobrovsky

и спросить не у кого...

правильно ли я понимаю, что это будет endless loop?
K(Y(SKK))(K(Y(SKK)))SS

upd. подсказали, что дык I выражается через SK:
SKKx = Ix

ну конечно, а YI и есть зацикленность.
Tags: ski combinators, y combinator
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your IP address will be recorded 

  • 6 comments