News for hackers. Stuff that matters.

A comment on Dualities in Functional Programming. Parent comment

Re:Dualities in Functional Programming by klysm on Tuesday January 28, 2025 @08:29AM (#42852055)
Don't think anybody told me that, but I do believe it to be the case
[ Parent | on HN ]
Re:Dualities in Functional Programming by cess11 on Tuesday January 28, 2025 @10:58AM (#42853785)
Why?
[ Parent | on HN ]
Re:Dualities in Functional Programming by klysm on Tuesday January 28, 2025 @04:13PM (#42858101)
Category theory is equivalent to type theory.
[ Parent | on HN ]
Re:Dualities in Functional Programming by iLemming on Friday January 31, 2025 @01:28PM (#42890203)
It's probably more accurate to say that they are complementary rather than equivalent.

- Category theory emphasizes morphisms and composition

- Type theory emphasizes terms and computation

There are important correspondences between them (like the Curry-Howard-Lambek correspondence), but they have different strengths and different ways of expressing concepts.

Sorry, I couldn't resist the temptation of being a pedantic formalist.

[ Parent | on HN ]