Недавний ICFPC заронил во мне тему комбинаторов в базисе SKI, и теперь хотелось бы посмотреть на неё в несколько ином ключе. Для начала, попробуем реализовать наш базис на Хаскеле и посмотреть, что получится:
Prelude> let i x = x Prelude> let k x y = x Prelude> let s x y z = x z $ y z Попросим ghc вывести типы этих комбинаторов:
Prelude> :t i ( Read more... )