Proof that in this single instance, Reddit developers decided this was a suitable optimization for their codebase.
This also calls into question the original assumption, that posters believed Reddit had far too many wasteful servers to handle their service, and that it was because they use a dynamic language.
