5

I am looking for book references on combinatory logic. Is there a book focused on how combinatory logic is applied in the context of pure functional languages like Haskell?

I found "Combinators: A Centennial View" by Stephen Wolfram (2021), but it has too much advertising in it. Every second page Wolfram tries to sell the reader his programming language. Is there any well-written book with less advertisement?

Caleb Stanford
  • 7,298
  • 2
  • 29
  • 50
Clemens Bartholdy
  • 281
  • 1
  • 9

1 Answers1

2

This isn't a complete answer, but you could do a lot worse than to go through the relevant sections of The Implementation of Functional Programming Languages by Simon Peyton-Jones, particularly the chapter on SK combinators. The book is now free.

Pseudonym
  • 24,523
  • 3
  • 48
  • 99