A person who is anti-fun, or prevents others from having fun.
A person who is overly concerned with formal rules and trivial points of learning.
A person who makes an excessive or tedious show of their knowledge, especially regarding rules of vocabulary and grammar.
Pedantic.