Whether or not you're doing science doesn't depend on which software tools you use, it depends on whether you're advancing the frontier of human knowledge. If you're producing publishable scientific research, you're doing science. If you aren't, you're probably not doing science.

I don't think the article is saying otherwise, it's just highlighting a similarity between what type systems do, and the sort of reasoning we associate with science.