119 点作者 nz大约 2 年前

3 条评论

jph00大约 2 年前

Combinators are elegantly expressed in array languages, especially J. Here's a great recent paper with details : <a href="https://raw.githubusercontent.com/codereport/Content/main/Publications/Combinatory_Logic_and_Combinators_in_Array_Languages.pdf" rel="nofollow">https://raw.githubusercontent.com/codereport/Content/main/Pu...</a>

评论 #35943902 未加载

redrobein大约 2 年前

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

DiscourseFan大约 2 年前

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

评论 #35943013 未加载

评论 #35943515 未加载

Combinatory Logic (2020)

3 条评论

Combinatory Logic (2020)

3 条评论