It would not be due diligence to run something on a server that isn't memory-safe, and the most profitable games run on servers. I believe that a language-port would be the most effective way of doing so. In the spirit of using the state of the art, using ADA/SPARK for all the server-side parts would go furthest in protecting the business.
It would not be due diligence to run something on a server that isn't memory-safe, and the most profitable games run on servers. I believe that a language-port would be the most effective way of doing so. In the spirit of using the state of the art, using ADA/SPARK for all the server-side parts would go furthest in protecting the business.