Dunno about type theory per se but I visited a Haskell-based company a while back, and they said 50% of the women they interviewed were trans. Not sure of the cause and effect relationship. I know of several male-at-the-time programmers who got interested in Haskell and then transitioned later.
type theorist?
It’s kinda like set or category theory. The kind of math that hardly resembles anything at all yet somehow applies everywhere, to infinity and beyond
People who use templates and types to achieve absurd outcomes that just work, maybe?
I have seen a few haskell magic.
Dunno about type theory per se but I visited a Haskell-based company a while back, and they said 50% of the women they interviewed were trans. Not sure of the cause and effect relationship. I know of several male-at-the-time programmers who got interested in Haskell and then transitioned later.
They’re putting something in the Haskell that’s turning the coders trans! (jk)