Hacker News new | ask | show | jobs
by deterministic 1323 days ago
Lambda Calculus is a much better representation of computation than Category Theory. I can teach somebody functional programming using Lambda Calculus fairly quickly. It would take a lot longer using Category Theory. I have studied quite a bit of Category Theory but I would still struggle to explain beta-reduction using Category Theory. Another better system to use IMHO is Martin Luff style Type Theory. Much simpler. Much more useful in practice.
1 comments

Well if teaching length justified the title of Maxwell's equations I would agree with you. CT does take longer to learn.

However if foundational theory was what justified the title, I believe CT is more foundational then lambda calculus.