pedant
personality type; person obsessed with detail or process, often negatively perceived
hair-splitter
type of pedant, focused on the precise meaning of words; one that makes excessively fine distinctions in reasoning
personality type; person obsessed with detail or process, often negatively perceived