> I wonder if one day we will be able to use a lighter version of formal methods to web development.

https://en.wikipedia.org/wiki/Type_system#Type_checking