Joke: noun, verb, joked, joking.
1. something said or done to provoke laughter or cause amusement, as a witticism, a short and amusing anecdote, or a prankish act: He tells very funny jokes. She played a joke on him.
2. something that is amusing or ridiculous, esp. because of being ludicrously inadequate or a sham; a thing, situation, or person laughed at rather than taken seriously; farce: Their pretense of generosity is a joke. An officer with no ability to command is a joke.
3. a matter that need not be taken very seriously; trifling matter: The loss was no joke.
Pedant: Nounâ
1. a person who makes an excessive or inappropriate display of learning.
2. a person who overemphasizes rules or minor details.
3. a person who adheres rigidly to book knowledge without regard to common sense.
4. Obsolete. a schoolmaster.