Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
The talk:
A slightly less formal introduction to CCC, using currying: https://old.reddit.com/r/programming/comments/ftn3n3/curried_functions_computerphile/fm8qwwt/?context=3
More practical explanation in the context of HOAS: https://blog.functorial.com/posts/2017-10-08-HOAS-CCCs.html
The talk:
A slightly less formal introduction to CCC, using currying: https://old.reddit.com/r/programming/comments/ftn3n3/curried_functions_computerphile/fm8qwwt/?context=3
More practical explanation in the context of HOAS: https://blog.functorial.com/posts/2017-10-08-HOAS-CCCs.html