Comment by phplovesong

If typechecking is tongue on cheek, why even bother?