Simon Marlow

@dsp_ @donsbot Yes :( The latest problem is with some upstream changes to fbthrift

@simonmar @donsbot Glean CI builds seem to be broken for a while :)

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-i…

@ezyang @dogfishbar Feel free to invite me to meetings to help you justify Haskell!

@dogfishbar If I had my way, it would have been in Haskell. But it was impossible to justify (to myself, anyway) at the time

I never thought I'd say this, but writing the first compiler for PyTorch in C++ instead of Python was such a big mistake 😂

@kmett Clearly nobody wants to work with me

GPT-3 managed to capture @simonmar's productivity level pretty well.

@GabriellaG439 github.com/facebookincuba…

@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.

I have a new type-checking brain worm that I need to get out of my head: What if you built a type inference algorithm without any unification variables? I know that sounds silly, but hear me out on this … 🧵 (1/24)

Calling all #functionalprogrammers especially those based in Australia or nearby timezones! This is a top event with great speakers @deanwampler @simonmar & @kmett #Scala #Erlang #Haskell

@OomReni You'll be happy to know I regularly fail at any number of simple things and am constantly exasperated :)

@simonmar Mr Marlow, your asynchronous coding methods have caused me no end of grief for the past 2 days. I belive you deserve the same. So I hope you fail at a simple task, like turning a doorknob, and are disproportionately exasperated by it.

@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.

@moleike @simonmar @IborraPepe The Haskell support in Apache thrift has been deprecated. I didn’t want to build this on EOL tech. While a pain to build, fbthrift and hsthrift have been working very well. Latency could be better, though.

The official implementation of PICARD is now available on GitHub, github.com/ElementAI/pica….

@tscholak @moleike @IborraPepe Curious what kind of latency problems you've had? Latency has been pretty good for our services built on this.

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)

@benignbala Fixed

@simonmar Of course, but it uses something called infima. Not familiar with that. But looks like there is already a PR around the area: github.com/facebookincuba…

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]

@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.

@benignbala Yeah, I need to fix that but CSS is a bit beyond my powers. The CSS is in the repo and it's open source you know 😉

@simonmar Quick note: In dark mode, the links aren't readable on the glean site. Could you please use a different set of colours for links in dark mode ?

@the_siamak Yes we do! But plans only, nothing exists yet.

@simonmar Do you have any plans to add Kotlin support to Glean?

@sunstonenebula @twitchard It can be used to store and query code coverage data (or in general any data you want to associate with code)

@uhbif19 @twitchard Glean doesn't currently do recursive queries, so that's probably the biggest difference right now.

@simonmar @twitchard How does its query functionality compare to CodeQL?