|
|
|
|
|
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. |
|
However if foundational theory was what justified the title, I believe CT is more foundational then lambda calculus.