3 ms·
Here https://www.facebook.com/ https://www.facebook.com/ Here https://galois.com/ https://galois.com/ And Here https://www.fpcomplete.com/ https://www.fpcomplet
by mlitchard 12y ago
Here
https://www.facebook.com/ https://www.facebook.com/
Here
https://galois.com/ https://galois.com/
And Here
https://www.fpcomplete.com/ https://www.fpcomplete.com/
To name a few.
- danblick 12y agoCould you elaborate on the uses at Facebook?
- gohrt 12y agohttps://code.facebook.com/posts/302060973291128/open-sourcing-haxl-a-library-for-haskell/ https://code.facebook.com/posts/302060973291128/open-sourcin...
- mlitchard 12y agoAlso, This guy https://www.youtube.com/watch?v=ZR3Jirqk6W8 https://www.youtube.com/watch?v=ZR3Jirqk6W8 had his Haskell startup bought by Facebook. I expect it was because they wanted the technology he invented, and him as well.
- gelisam 12y agoWhile Haxl is great and is a good example of Haskell usage in the industry, it's not a good example of the usage of formal methods, since functional programming is only the first of the two steps mentioned in the article. The title of this post made me hope they were looking to hire a "proof engineer", but alas, they're only explaining how to become one. It's already hard enough trying to find a Haskell job, finding one in Isabelle or Agda must be near impossible!