Live data from Hacker News

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

aymannadeem.com

51–60 of 69 posts

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

#51
post #15

Earlier quoted context omitted.

No such stereotype says only women are mean.

C'mon. It's a well-known "fact" (please read that with sarcasm) that women gossip more and are more mean: https://www.tandfonline.com/doi/abs/10.1080/09589236.2017.14...

This is absolutely not true where I come from. I don't think you should consider your personal beliefs and biases to be universal to the whole planet.

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

#52
post #44
post #28

Earlier quoted context omitted.

Be honest, what was your very first thought?

I thought it was going to be a piece in favour of showing kindness to people who themselves are mean. (I never even considered "this is HN so it's probably tech-related". Don't know what that says about me or the site!)

Yeah, me too. If it wasn't explained in the discussion, I wouldn't click on it. (Maybe HN needs some tags.)

But I am actually glad it's about Haskell, I am a gonna read it now (and it's refreshing to see it being written by woman).

I don't mind the movie references, I don't think it's sexist. (Quite the opposite, I think standard mathematical writing is too dry and benefits from having an unrelated theme to add a bit of spice.)

Current reality is hard for everyone. When men behave like men, some women complain, when women behave like women, some men complain, it's really hard to please everyone. Take it easy, everyone.

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

#53
post #25

Earlier quoted context omitted.

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.

I think it was obvious that he doesn't believe that and he's just playing the victim. Nobody in the comments has mentioned anything about white males not having an opinion, and this is a typical argument (and a strawman) that people use to derail the discussion.

No, it's not obvious. You should look at people with a more generous eye and with the benefit of doubt instead of throwing accusations left and right.

Sadly, he's quite on point.

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

#54
post #15

Earlier quoted context omitted.

No such stereotype says only women are mean.

C'mon. It's a well-known "fact" (please read that with sarcasm) that women gossip more and are more mean: https://www.tandfonline.com/doi/abs/10.1080/09589236.2017.14...

Why the downvotes? OP put "fact" in scare quotes and provided a link to a scientific paper entirely refuting both mentioned "facts". It thus seems obvious that OP doesn't subscribe to those stereotypes, but furthermore subversively makes fun of those that do.

Downvoting without checking the link... Is this Twitter here or HN?

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

#55

Earlier quoted context omitted.

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 commercial…

Stereotype threat is probably not a thing https://www.tandfonline.com/doi/full/10.1080/23743603.2018.1... - publication bias

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

#56
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?

> Be honest, what was your very first thought?

Oh My God, neals! you can't just ask people what their first thought was...

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

#57
post #54

Earlier quoted context omitted.

C'mon. It's a well-known "fact" (please read that with sarcasm) that women gossip more and are more mean: https://www.tandfonline.com/doi/abs/10.1080/09589236.2017.14...

Why the downvotes? OP put "fact" in scare quotes and provided a link to a scientific paper entirely refuting both mentioned "facts". It thus seems obvious that OP doesn't subscribe to those stereotypes, but furthermore subversively makes fun of those that do. Downvoting without checking the link... Is this Twitter here or HN?

Not sure about this particular instance, but this user's comments in this thread show quite aggressive, preconceived and completely unnecessary stance.

To people like that everything is sexist/racist/-phobic.

Since HN is generally above that, comments trying to derail the actual discussion and lower the level of discourse are not welcome.

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

#58

Earlier quoted context omitted.

I think it was obvious that he doesn't believe that and he's just playing the victim. Nobody in the comments has mentioned anything about white males not having an opinion, and this is a typical argument (and a strawman) that people use to derail the discussion.

No, it's not obvious. You should look at people with a more generous eye and with the benefit of doubt instead of throwing accusations left and right. Sadly, he's quite on point.

Unless the person believes that old white men literally are not allowed to hold any opinion whatsoever on matters of sexism and that's the most plausible and popular view, then it clearly is both false and a strawman argument, so interpretation doesn't have much to do with it.

There are of course times when modern conversation around this devolve to people saying white men should just shut up, their opinions don't matter, etc. But since there are more defensible, reasonable versions of this (e.g., white men should be more tentative in opinions about discrimination given their relative lack of direct experience of being discriminated against, there are contexts when offering such opinions are inappropriate, etc.), it clearly is a strawman.

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

#59
post #46
post #21

Earlier quoted context omitted.

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.

Is that to imply less privileged people should feel less obligated to listen or is that to imply more privileged people have less to contribute so they should default to listening? It seems highly unnecessary to devalue large categories of people based on the situations they were born into just to get across a point that listening to others is important.

The principle was merely that people who are not directly affected by X can particularly benefit from listening to people directly affected by X. It was even a supererogatory framing of the recommendation. But enjoy your high horse!

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

#60
Kinds in Haskell seem to be evolving in the direction of controlling the representation of datatypes in memory. * (also called Type) is the kind of types whose values are "lifted": they can be lazy computations which might cause an infinite loop, throw an exception, and so on.

There are also kinds for types whose values are "unlifted", meaning they really correspond to actual values in memory, not lazy thunks.

Right now the language for expressing unlifted datatypes is quite limited. Hopefully it will be expanded so that we can write "strict Haskell" more easily.

"Levity polymorphism" paper https://www.microsoft.com/en-us/research/wp-content/uploads/...

"Kinds are calling conventions" paper https://www.microsoft.com/en-us/research/uploads/prod/2019/0...

The -XUnliftedNewtypes extension https://downloads.haskell.org/ghc/latest/docs/html/users_gui...

https://stackoverflow.com/questions/35318562/what-is-levity-...

https://stackoverflow.com/questions/56311510/what-does-type-...

Post reply on HN