from Hacker News

Combinatory Logic (2020)

by nz on 5/14/23, 10:37 PM with 21 comments

  • by jph00 on 5/15/23, 12:58 AM

    Combinators are elegantly expressed in array languages, especially J. Here's a great recent paper with details : https://raw.githubusercontent.com/codereport/Content/main/Pu...

  • by redrobein on 5/15/23, 1:30 PM

    For anyone looking for a more gentle introduction to logic and combinators, checkout Raymond Smullyan's "To Mock A Mockingbird".

  • by DiscourseFan on 5/15/23, 1:18 AM

    Yeah whenever I read about stuff like this I always feel the attempt to create formally complete logical systems is inherently flawed.