Is there a good reason to still use php when you can use hacklang (https://hacklang.org/) which has much stronger type system. Some would even call it php++.
Thank you all for registering for the Private Beta. We will be getting in touch with you all shortly. In the meanwhile we'd love to have an open discussion here.