Apart from it being an absolutely terrible programming language
1 karma · joined March 8, 2022
Probably just used to writing poor quality (immediately unintelligible to someone other than the author but functional) code then.
That’s not a pun that’s just poor grammar. “never type can never (pun-intended) have any value” makes sense.