5 ms·

Wonder if Haskell is still around at Meta these days, does anybody know?

by 8f2ab37a-ed6c 2y ago

loeg 2y ago
Mostly discouraged in new projects.
wyager 2y ago
Looks like the author is now working on Glean (the AI docs/search tool) at Meta, which is also Haskell-based.
- eddsolves 2y ago
  Simon Marlow is a famous Haskell developer, alongside the likes of Simon Peyton-Jones or Philip Wadler
- throwaway132417 2y ago
  https://engineering.fb.com/2024/12/19/developer-tools/glean-open-source-code-indexing/ https://engineering.fb.com/2024/12/19/developer-tools/glean-...
- mavelikara 2y ago
  Wow, there is a startup named Glean doing something very similar. Founded by Arvind Jain who co-founded Rubrik.
throwaway132417 2y ago
Yes, (and so is OCaml) but less than in the past, mostly for specialized and older projets. Most engineers at Meta will not encounter these languages. It's costly to integrate them with the internal tools and arguably not worth the effort. On the other hand, Rust is increasingly popular and well-supported and approved by the company.
- wyager 2y ago
  I think one of the most promising pitches for rust adoption is that it borrowed as much as possible from Haskell/ML without treading into the territory where it becomes "scary" for broadly-C-family language monoglots. A C++ or even Java programmer can look at Rust and think to themselves "this text has a comfortably familiar shape".
  - kccqzy 2y ago
    You aren't hiring good programmers if they are intimidated by syntax.
    - nicoburns 2y ago
      The differences between Haskell/OCaml and C-family languages are much more significant than syntax. Rust brings a lot (but not all) of the richness of these languages while staying within a broadly imperative paradigm.
      - kccqzy 2y ago
        That's neither my point nor OP's point. The soothing feeling of "this text has a comfortably familiar shape" is entirely about syntax, and indeed is only a soothing feeling because such programmer has not seen anything beyond it and is unwilling to get outside that comfort zone. I do not hire anything who does not get outside of their comfort zone or who is intimated by syntax they haven't seen. If a programmer rejects Haskell or OCaml by giving me a good critique of say, Hindley Milner style type systems†, that's a good programmer I'm willing to hire even though I don't necessarily agree. †: I've been asked exactly this question during an interview: to critique HM style type systems. As a candidate I felt this style of questions gave me a far better way to display my knowledge and experience than Leetcode style questions.
        perching_aix 2y ago
        > I do not hire anything Today's Freudian slip award goes to...
- deleted 2y ago
  [deleted]

Wonder if Haskell is still around at Meta these days, does anybody know?

loeg 2y ago

Mostly discouraged in new projects.

wyager 2y ago

Looks like the author is now working on Glean (the AI docs/search tool) at Meta, which is also Haskell-based.

eddsolves 2y ago
Simon Marlow is a famous Haskell developer, alongside the likes of Simon Peyton-Jones or Philip Wadler
throwaway132417 2y ago
https://engineering.fb.com/2024/12/19/developer-tools/glean-open-source-code-indexing/ https://engineering.fb.com/2024/12/19/developer-tools/glean-...
mavelikara 2y ago
Wow, there is a startup named Glean doing something very similar. Founded by Arvind Jain who co-founded Rubrik.

throwaway132417 2y ago

Yes, (and so is OCaml) but less than in the past, mostly for specialized and older projets. Most engineers at Meta will not encounter these languages. It's costly to integrate them with the internal tools and arguably not worth the effort. On the other hand, Rust is increasingly popular and well-supported and approved by the company.

wyager 2y ago
I think one of the most promising pitches for rust adoption is that it borrowed as much as possible from Haskell/ML without treading into the territory where it becomes "scary" for broadly-C-family language monoglots. A C++ or even Java programmer can look at Rust and think to themselves "this text has a comfortably familiar shape".
- kccqzy 2y ago
  You aren't hiring good programmers if they are intimidated by syntax.
  - nicoburns 2y ago
    The differences between Haskell/OCaml and C-family languages are much more significant than syntax. Rust brings a lot (but not all) of the richness of these languages while staying within a broadly imperative paradigm.
    - kccqzy 2y ago
      That's neither my point nor OP's point. The soothing feeling of "this text has a comfortably familiar shape" is entirely about syntax, and indeed is only a soothing feeling because such programmer has not seen anything beyond it and is unwilling to get outside that comfort zone. I do not hire anything who does not get outside of their comfort zone or who is intimated by syntax they haven't seen. If a programmer rejects Haskell or OCaml by giving me a good critique of say, Hindley Milner style type systems†, that's a good programmer I'm willing to hire even though I don't necessarily agree. †: I've been asked exactly this question during an interview: to critique HM style type systems. As a candidate I felt this style of questions gave me a far better way to display my knowledge and experience than Leetcode style questions.
      - perching_aix 2y ago
        > I do not hire anything Today's Freudian slip award goes to...
deleted 2y ago
[deleted]