Since some computer scientists use category theory, I was wondering if there are any programming languages that use it extensively.
Programming Languages based on Category Theory
Patrick Tam
- 273
- 1
- 4
- 4