A programming languages troll would be someone who suggests using obscure programming languages or techniques (you should use Agda here, you should write a type

A programming languages troll would be someone who suggests using obscure programming languages or techniques (you should use Agda here, you should write a type checker) to solve systems problems "because it's safer" regardless of practicality. Source: being a PL troll :)