78 karma · joined June 20, 2018
If you want to contact me, email me at hn at (my username) dawt com
I hope java gets native support for @nullable, but for now we have stuff like error prone and @nullable annotations.
Ex: Facebook and adding types with Hack & Flow. Dropbox's work to add types to python. Uber used to be a python and nodejs shop, and now new stuff is done in golang and java. Many nodejs shops go from pure js to typescript or flow.
Gradual typing is useful for companies that don't want to immediately migrate everything at once. If you have the right policy of 'type everything you touch', enforced with a linter, a codebase gets migrated relatively quickly.
Add locks and you add many more causes for the main thread to be blocked beyond pure computation.