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
Yes. I think that [Haskell](http://en.wikipedia.org/wiki/Haskell_%28programming_language%29) is the canonical example. Go [here](http://www.haskell.org/haskellwiki/Category_theory) for more.


