Simon Marlow
@simonmar
Followers
8K
Following
514
Media
13
Statuses
1K
Software Engineer at Facebook, Haskell enthusiast, GHC boiler-room technician
Cambridge, UK
Joined February 2009
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
serokell.io
In this edition of our Haskell in Production series, we interview Simon Marlow, who's currently an engineer at the Code Search and Indexing team at Meta.
0
19
55
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
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: https://t.co/s9PhpGfgEH
#YLJ22
0
2
9
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)
4
260
761
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 ( https://t.co/pDy41ymaRn). [8/8]
github.com
System for collecting, deriving and working with facts about source code. - facebookincubator/Glean
4
1
30
Glean is the work of many people, notably @_rl_, Chris Kuklewicz, @katiejots, @Marcelolaza, @donsbot, @dzsol @Nathan_Hawkes_ and others. [7/8]
1
0
29
Initially we've open-sourced indexers and schemas for Javascript (Flow) and Hack/PHP, there also exist indexers for Python, Rust, C++/Objective C, and Java that we hope to open-source in the future. We'd welcome community-contributed indexers for other languages. [6/8]
2
4
29
A key feature of Glean is that it lets you derive additional facts automatically. This can be used for making queries more efficient, or for providing abstraction layers and encapsulating complex queries. https://t.co/iUBCwopyn0 [5/8]
glean.software
Glean supports predicates that are defined in terms of a query. There are two types of derived predicates, "stored" and "on demand".
1
0
20
Once you have the data, Glean provides a declarative query language called Angle for accessing it. You can build complex queries matching on the structure of the data. https://t.co/sxxUSJgtxW [4/8]
glean.software
Angle is Glean’s schema and query language. It is a declarative query
1
0
27
At its heart, Glean is a system for compactly storing strongly-typed trees. You define a schema for the data you want to store (e.g. here's the one for Flow/Javascript: https://t.co/uM4sPzdbIl), Glean typechecks the data, and stores it efficently while de-duplicating it. [3/8]
1
2
33
Glean is designed for high-performance large-scale source code indexing. Store information about your source code and query it efficiently, to power things like IDEs, code browsers, and analysis tools. [2/8]
1
2
32
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]
glean.software
System for collecting, deriving and querying facts about source code
19
134
581
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.
33
205
1K
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. https://t.co/WFYtjjyrbY
3
9
56
Great news! Thanks, @simonmar, for giving us the opportunity to help with some of the work leading up to this release.
0
3
19
We just open-sourced our Haskell Thrift Compiler:
engineering.fb.com
What it is: Thrift is a serialization and remote procedure call (RPC) framework used for cross-service communication. Most services at Facebook communicate via Thrift because it provides a simple, …
1
31
109
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
2
31
99