• ultimate_worrier@lemmy.dbzer0.com
    0·
    2 months ago

    I don’t make the rules…. but I have observed far too often for it to be coincidence that the more brilliant a type theorist is, the more likely it will be that they identify as 🏳️‍⚧️ or 🏳️‍🌈.

      • Jankatarch@lemmy.world
        0·
        2 months ago

        People who use templates and types to achieve absurd outcomes that just work, maybe?

        I have seen a few haskell magic.

        • solrize@lemmy.ml
          0·
          2 months ago

          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.