I studied math for a couple years in university and have been a professional python programmer for a while.
I’m familiar with the theory behind popular styles like OO and have used them professionally but ultimately I find Haskells incredibly simple and constrained type system (closed data types, no subtyping, essentially total inference, purity, etc) easier to think in than the Wild West of python or java, say, since there are fewer modeling choices to make.
The haskell model is much more intuitive and productive for me than the weird oo-esque models of “usual” languages like python, c++, and java.