https://pages.ruofeng.me/posts/types-comparisons-in-php/