Singpolyma

(type-theorists, category theorists?) … what do they use to solve real-life programming problems

I think you have your answer