|
|
|
|
|
by lincolnq
4666 days ago
|
|
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 :) |
|