They are not making a claim backed up by scientific evidence, but are rather stating a believable assumption that premises the work. PL is more about studying type theory than a it figuring out why it is useful (which dives into non science design anyways).