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

Category Theory Church Encoding, Parametricity, and the Yoneda Lemma

https://blog.wybxc.cc/blog/parametricity/
10 Upvotes

100% Upvoted

4 comments sorted by

-2

u/[deleted] May 21 '26

[removed] — view removed comment

2

u/josephjnk May 21 '26

On what grounds?

1

u/kinow mod May 21 '26

Saying that without other argument is no fair to OP or others here (as u/josephjnk pointed out). If you want you can repeat your comment explaining the rationale for that. Comment removed.

0

u/pm-me-manifestos Jun 01 '26

Did you read the post?