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:
https://t.co/F8X813l3td
@GabriellaG439 FWIW Glean's typechecker doesn't have unification variables. Mainly because I was feeling lazy and wanted to see how well it worked. The answer has been well enough, so far - people find it a bit odd sometimes though. This is a logic language not a functional one.
@EyalL@deguerre@jkachmar@christopherdone@artiegold Correct, it was a joke primarily. People were having a lot of fun designing a language without the constraints of actual users (well, not many of them at least), and they knew that success would bring an end to all that. So, we must avoid success!
@tscholak@moleike@IborraPepe Also - did you actually get Python support for fbthrift working? We need that in order to open-source our Python indexer for Glean.
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:
https://t.co/xhrwWEFmrT
[1/8]
@lldong Stacked DBs are fully supported, but you can currently only *add* to the facts in the base DB, not delete or replace. That's the bit we're working on.
@lldong We're working on incremental indexing but it's not ready yet. The idea is that you'll be able to index a set of changes relative to a base DB, and treat the whole as if it were a single DB. Build up stacks of increments.