Comment by qop

Yeah exactly. I've followed gilads work for more than a decade, but they have managed this project in typical Google fashion.

I'm kind of at the age where I'm just too far removed to try and work on learning a whole new field. If I could go back, I think I'd choose type theory and compilers and spent longer in college. Instead I learned to reverse software and built my career up piecemeal, but there is so much fascinating material surrounding compilers and the intricacies of how different type systems behave and allow modeling. I see how people get their whole career sucked up into that space.

F# still has a chance if dotnet can step their game up just a few more notches. They're getting better lately.