Re:Open-sourcing Facebook Infer: Identify bugs before you ship
by omouse on Thursday June 11, 2015 @02:35PM
(#9701422)
That's not a legend, it's true since they're doing a partnership with INRIA where OCaml was born. Those French computer scientists know something that American companies don't and that's that theory is important as an underlying foundation for extraordinary results.
[ Parent
| on HN ]
Re:Open-sourcing Facebook Infer: Identify bugs before you ship
by pnathan on Thursday June 11, 2015 @05:27PM
(#9702565)
I'd actually expand that to European - in my grad studies, the European CS world had a much more mathematical bent. Notice the the Glasgow Haskell Compiler, Coq, etc.
You can always go from math -> pragmatism, but the reverse is nearly impossible. People get set in their ways, and it takes time to develop mathematical rigor, even if you want to.
So when you need to get mathematical expertise, you wind up needing to hire it.