@corlin Interesting. I know several neurodivergent people (yes, this is anecdotal) and one thing they have in common is that they don't laugh much, or at all. One has a fine sense of humor, regularly cracks up his friends, but never does more than smile himself.
The common factor, I think, is not so much neurodivergence as social impairment. Being the only one who laughs can be as embarrassing as being the only one who doesn't.