> The category theory language around it is off-putting to working programmers Off-putting to some working programmers. I am a mathematically-minded working pr

> The category theory language around it is off-putting to working programmers Off-putting to some working programmers. I am a mathematically-minded working programmer who prefers mathematical and type theoretical explanations quite strongly since they just click for me.