6 ms·
> 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 ht
by tizoc 12y ago
> 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 https://en.wikipedia.org/wiki/Type_system#Type_checking