Plenty of serious researchers in top universities are studying the intersection of mathematics and functional programming, and I don't think that they're someho

Plenty of serious researchers in top universities are studying the intersection of mathematics and functional programming, and I don't think that they're somehow not 'real mathematicians'. Here's a paper by the author of this post, formalising a popular Haskell pattern in category theory: https://arxiv.org/abs/2001.07488 https://arxiv.org/abs/2001.07488 EDIT: switched to non-PDF link.