I have no horse in this race, as I program mostly in R, but a very good friend was very enthusiastic about F sharp as a categorical language. He claimed that it was based on category theory. I would google "F sharp category theory' for more information.