Live data from Hacker News

A primer on the cruel, tacit laws of type-level programming in Haskell

aymannadeem.com

21–30 of 69 posts

Re: A primer on the cruel, tacit laws of type-level programming in Haskell

#21

Does anyone else think the title is sexist by today's standards?

It's kinda nerdy and very clickbait-ish but sexist? Probably not, but who am I to judge. Old, white and male means I am not entitled to any opinion on such matters, by today's standards.

Old, white and male — we are probably both plenty entitled. But life is generally favorable to us, so we are often better off listening to those actually affected by this.

Re: A primer on the cruel, tacit laws of type-level programming in Haskell

#23

Does anyone else think the title is sexist by today's standards?

I thought the pop-culture references were both extremely funny and well-played. It also seems that the author of the post is both a woman and alive in 2020, so no, not at all sexist by today's standards.

Re: A primer on the cruel, tacit laws of type-level programming in Haskell

#24
post #10

Does anyone else think the title is sexist by today's standards?

It's a stupid title. Connecting the concept to a movie was unnecessary. But it's not any more sexist than making a movie called (and about) Mean Girls in the first place...

It seems like a decent way to engage women in the content of the article to me. I think that is one of the aims, and why not? The article was written by a woman after all.

Re: A primer on the cruel, tacit laws of type-level programming in Haskell

#25

Does anyone else think the title is sexist by today's standards?

It's kinda nerdy and very clickbait-ish but sexist? Probably not, but who am I to judge. Old, white and male means I am not entitled to any opinion on such matters, by today's standards.

Just because you’re “old, white and male” doesn’t mean you’re not allowed to have an opinion. Don’t let anybody make you feel like that.

Re: A primer on the cruel, tacit laws of type-level programming in Haskell

#27

Does anyone else think the title is sexist by today's standards?

Would you like to elaborate how? Or are you just being pre-emptively offended on someone else's behalf?

Maybe I am a bit over-protective and extrapolate too much, but here is what research says:

"Davies et al. (2002) showed that women experience stereotype threat when they are reminded of existing stereotypes about women in television advertising. In this study, participants watched commercials in which women were very excited about buying cosmetic products or trying a new baking recipe. After watching these commercials, women performed worse on a math test compared with men who watched the same commercials and compared with women who watched gender-neutral commercials."

https://www.frontiersin.org/articles/10.3389/fpsyg.2018.0243...

I just think a more cautious analogy would have made sense.

Re: A primer on the cruel, tacit laws of type-level programming in Haskell

#29
post #24
post #10

Earlier quoted context omitted.

It's a stupid title. Connecting the concept to a movie was unnecessary. But it's not any more sexist than making a movie called (and about) Mean Girls in the first place...

It seems like a decent way to engage women in the content of the article to me. I think that is one of the aims, and why not? The article was written by a woman after all.

True, it just brings back bad memories from EU's "Science: It's a girls thing" campaign.

https://www.theguardian.com/science/blog/2012/jun/29/science...

Re: A primer on the cruel, tacit laws of type-level programming in Haskell

#30
post #28
post #6

A discussion of the Haskell type system is not what I expected when clicking that link.

Be honest, what was your very first thought?

I did think it was related to functional programming but wasn't entirely sure. It's HN and Americans are asleep, there are less politics and cultural articles.

Kindness may be referring to higher kinded types and for mean girls probably just forced lingo to refer to people who don't take kindly to functional programming and types.

Post reply on HN