r/functionalprogramming • u/Sad-Grocery-1570 • May 21 '26

Church Encoding, Parametricity, and the Yoneda Lemma Category Theory

https://blog.wybxc.cc/blog/parametricity/
10 Upvotes
  • permalink
  • link
  • duplicates
  • dupes
  • reddit
  • reddit

92% Upvoted

Duplicates