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.
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)
Straight men are into OCaml, did you not hear yet?
Tell me what programming languages straight women like, because that’s what I need to study!
You should see what Visual Basic used to do to people.
VB was probably triggering domestic disputes.
I know VB from my early days as something like Mikrosofts take on Python. But not 99% sure anymore.
Eh, it was just BASIC combined with the best (by far) visual forms editor available at the time.