I have a theory that strlen is bad.
1. The function itself is completly redundant, since it is a direct
alias for sizeof. The language is simpler and faster to learn without
strlen. (Although not by much.)
2. We'd like things in Pike to be as general as possible, e.g. + should
add any kind of ADT, not just integers. Hence it is bad to make
specializations of general functions.
3. As a specialization strlen is flawed, since it accepts nonstring
arguments.
4. strlen provides a "transition aid" for C programmers, who can still
write strlen and get a somewhat expected result. This advantage is
however consumed by the implication that since Pike has strlen and
sizeof, and strlen works as in C, sizeof would also work as in C.
Proposed course of actions:
1. Document strlen as deprecated.
2. Replace all strlen instances in Pike with sizeof.