ITT: Why feminists will never be truly great programmers: >gets

File: trigged2.jpg (90KB, 1280x720px) Image search: [Google]

90KB, 1280x720px

>static types and immutable variables are transphobic
>the only languages named after women that anybody cares about - ida and alice ML - are functional
>functional programming is pretty much just saying that women are only good for making babies

Our professor was explaining Hoare's logic and a fat female classmate shrieked, "WHAT?" The lecturer spelled out "Hoare" and the fatty grumbled something about patriarchal names while the professor continued.

File: trigged3.jpg (21KB, 527x430px) Image search: [Google]

21KB, 527x430px

>dependent types are clearly awful because nothing should be dependent on values defined by the patriarchy

>>58857251
anti SJWs are the real SJWs

most SJWs are false flagging antiSJWs

antiSJW are much louder, more sensitive, and more demanding of safe spaces.

File: (((you))).jpg (11KB, 241x209px) Image search: [Google]

11KB, 241x209px

>>58857449
Oh, it's (((this guy))).

>>58857251
you do realize that 90% of this board is win7/10 gaymers / cs101 students that have no fucking clue what coq, CoC/CIC, hoare's logic, and program spec are at all, right? there's like two autists that use haskell, and maybe one hipster who thinks that learning clojure will make him cool. btw have fun getting a job by knowing the ins and outs of the lambda cube

>>58857251
Them and SJWs promote incompetence and underqualification. That won't (thankfully) bring them too far in life.