Category Theory & Functional Programming
Hi,
I’m currently investigating the categorical side of Functional Programming. That’s a very interesting field, as it put together a very abstract mathematical field and a way/category of programming/programming languages.
I’m reading many papers including the two following ones, that anyone interested should read in my opinion.
An introduction to category theory, category theory monads, and their relationship [...]
