Did you know that Haskell is used in production at Meta? 🤯
In our latest article, we talk with Simon Marlow from Meta about their Haskell projects – Glean and Haxl – and his thoughts about Haskell in the industry.
Read on our blog:
serokell.io/blog/haskell-in-…
Are you ready for YOW! Lambda Jam 2022?
The schedule is out, and we kick off the 2-day digital conference on Tuesday 17 May.
Register and join us for everything #FunctionalProgramming: bit.ly/3kTMQV9#YLJ22
A farewell to Simon Peyton Jones as he leaves Microsoft Research
Subject:Â RE: New horizon
Â
I would like to add a few words to what Chris has written. I know I am also speaking for Mads, the current lead designer of C# (cc’d)
I'm delighted that we're finally able to open source Glean, the system we're building at Facebook for collecting and querying information about code:
glean.software/
[1/8]
If you're interested in building Glean into your system or workflow, want to contribute, or have comments/suggestions, we'd love to hear from you! File issues on github (github.com/facebookincubator…).
[8/8]
Do you want to work on PyTorch? The PyTorch team at Facebook is hiring! Remote in many locations is OK and most things we do are open source. Reach out to me in DMs if you're interested.
We've added Haskell to the list of programming languages supported by Thrift and open sourced the hsthrift package. Haskell Thrift is compatible with all fbthrift languages, allowing your projects to freely communicate with other services in any language. engineering.fb.com/2021/02/0…
The GHC Steering Committee would like to know whether you would like having a new language extension -XGHC2021 that covers lots of existing ones. New -XGHC20xx extensions would come out every 1, 2, or 3 years (cadence under debate). Express your opinion at teddit.net/r/haskell/comment…
We're looking to hire people to work on Glean at Facebook. Glean is a Datalog-like system used for indexing source code. It's written mostly in Haskell. You can get an idea of what it's about from this talk, although it's changed a lot since then: piped.video/watch?v=-OPN7QPs…