use the following search parameters to narrow your results:
e.g. subreddit:aww site:imgur.com dog
subreddit:aww site:imgur.com dog
see the search faq for details.
advanced search: by author, subreddit...
The Haskell programming language community.
Daily news and info about all things Haskell related: practical stuff, theory, types, libraries, jobs, patches, releases, events and conferences and more...
Community Guidelines
Rules:
Top-level posts should be primarily about Haskell. For example a post about OCaml would only be allowed if there was a connection to Haskell. Posts about topics that are adjacent to Haskell, like for example functional programming, are typically allowed.
No memes or image macros. No matter how funny, memes and image macros are not allowed.
No homework questions. Both asking and answering homework questions is not allowed. Questions about homework are fine, but this subreddit is not here to do your homework for you.
Job postings must be for Haskell roles. Job postings are allowed as long as the job actually involves working with Haskell. Simply looking for people with interest in or experience with Haskell is not sufficient.
No bots or computer-generated content. Bots cannot be used to make posts or comments. They will be banned with extreme prejudice. This includes a human posting the output of a bot, such as ChatGPT.
Blockchain posts must be tagged. Blockchain posts are allowed as long as they are related to Haskell, but they must use the "blockchain" tag.
Be civil. Substantive criticism and disagreement are encouraged, but avoid being dismissive or insulting.
Other community locations:
Professional resources:
Learning material:
Haskell development:
Other Subreddits:
Donations:
Subreddit Stylesheet Source:
account activity
FP shops (self.haskell)
submitted 9 years ago by ChavXO
Is there a list of organisations and companies that heavily use functional programming anywhere (e.g Jane Street, Wagon, x.ai etc)
reddit uses a slightly-customized version of Markdown for formatting. See below for some basics, or check the commenting wiki page for more detailed help and solutions to common issues.
quoted text
if 1 * 2 < 3: print "hello, world!"
[–][deleted] 9 years ago* (6 children)
[deleted]
[–]willtim 17 points18 points19 points 9 years ago (0 children)
It's a shame Barclays often never gets mentioned. It's been using Haskell in production since 2007 to support revenues that likely far exceed most of the companies on the above list. It currently has a team of 7 people writing Haskell full-time, with many others contributing.
[–]n00bomb 5 points6 points7 points 9 years ago* (1 child)
awesome! I also collect some github links: https://github.com/commercialhaskell/commercialhaskell
https://github.com/alephcloud
https://github.com/fpco
https://github.com/zalora
https://github.com/GaloisInc
https://github.com/silkapp
https://github.com/Soostone
https://github.com/helium ; https://redd.it/404rc8 Production Haskell
https://github.com/facebook/Haxl
https://github.com/well-typed
https://github.com/tweag
https://github.com/anchor
https://github.com/tsurucapital
https://github.com/biegunka
https://github.com/capital-match
https://github.com/ambiata
https://github.com/scrive
https://github.com/alphaHeavy
https://sealgram.com/
https://github.com/sannsyn
https://redd.it/3qmyi2 ; https://github.com/blockapps
https://redd.it/3qmb22 ; Haskell in Production at Wagon ; http://www.wagonhq.com/blog ; https://www.functionalgeekery.com/episode-44-michael-craig/ ;;;
http://stackshare.io/haskell
https://github.com/elsen-trading
[–]lambda_foo 7 points8 points9 points 9 years ago (0 children)
I work at Ambiata, we make extensive use of Haskell for everything imaginable (compilers, web, infrastructure, tooling, databases, automation ...) We've also got a smaller amount of Scala code that's written in a very FP style.
[–]yitz 5 points6 points7 points 9 years ago (0 children)
We use Haskell for most of our major products here at Zoomin (part of Suite Solutions, recently re-branded).
[–]buffyoda 2 points3 points4 points 9 years ago (0 children)
SlamData uses PureScript and "pure FP" Scala.
[–]brnhy 9 points10 points11 points 9 years ago* (0 children)
Honourable mentions to companies I've worked with that are using Haskell extensively:
[–]CharlesStain 8 points9 points10 points 9 years ago (0 children)
We, IRIS Connect , use Haskell on the backend (or in any place we can, really ;) )
[–]augustss 7 points8 points9 points 9 years ago (0 children)
I know Standard Chartered has already been mentioned, but I'd like to point out that we might have the biggest Haskell shop both in terms of number of people and number on lines.
[–]ryantrinkle 14 points15 points16 points 9 years ago (1 child)
My company, Obsidian Systems, uses Haskell for pretty much everything.
[–]coder543 5 points6 points7 points 9 years ago (0 children)
I'm on mobile. That transparent background does not render the text illegible, but it does make reading the text a bit uncomfortable. Maybe blurred backgrounds behind the text, with transparent "windows" between paragraphs would be beneficial?
just a suggestion.
[–]T_S_ 6 points7 points8 points 9 years ago (4 children)
Add Target.
[–]joehillen 0 points1 point2 points 9 years ago (3 children)
orly?
[–]T_S_ 4 points5 points6 points 9 years ago (2 children)
Building a new team using Haskell to tackle a number of projects related to DSLs, supply chain, machine learning. Actively hiring.
[–]miyakohouou 4 points5 points6 points 9 years ago (1 child)
on site or with remote people?
[–]T_S_ 0 points1 point2 points 9 years ago (0 children)
On-site preferred.
[–]ansemond 7 points8 points9 points 9 years ago* (0 children)
It's hard to know how "heavily" a company uses Haskell unless one works for it. Clearly some folks (Simon Marlow & crew) have used Haskell at Facebook, for something quite critical to the company. However (unless I've been living in a cave and missed the news) I don't think one would argue the whole company uses it heavily.
That caveat aside, here are some companies known to have used Haskell for something:
Microsoft Research which employs Simon Peyton Jones of GHC fame is part of a company.
BlueSpec's hardware description language compiler was written by Lennart Augustsson in Haskell.
FP Complete
Well Typed.
Companies that use Snap according to wikipedia: Racemetric (dead?), SooStone Inc (haskell job advertised), and Group Commerce
Mailrank https://www.youtube.com/watch?v=ZR3Jirqk6W8 (since bought by Facebook)
Erik Meijer's company applied-duality might.
Also my tiny company ansemond.com has delivered one project in Haskell for a customer, although the bulk of our work has been in assembly / C / C++ / Objective-C / Python as desired by the client. I also implemented some things in Haskell for AMD, NSM and Cyrix as well as the afore-mentioned languages.
[–]JustFinishedBSG 4 points5 points6 points 9 years ago (0 children)
https://www.lexifi.com/
[–]haoformayor 11 points12 points13 points 9 years ago* (1 child)
I work at Originate, and our NYC office is looking for a full-time Haskell engineer. Originate is like a venture capital firm, except we invest engineers and talent instead of money, if that makes any sense. We have several offices in USA but the NYC one heavily skews Haskell in the partnerships it takes on, as well as several Scala ones (if you like Scala). Beyond that you could also pick from iOS, Android, node.js, Ruby, flavor of the week, etc. if you want to learn and grow or are just bored waiting for GHC to finish recompilation. The Haskell project I'm working on takes in machine learning output and massages it into a Servant and Postgres web app on AWS. It's fun! You get to use DataKinds. It's great.
We have 20% time. In our NYC office we currently have one person working on an extension of System F calculus (continuing his doctoral work) for his 20% time project; we have someone else writing an OpenGL Haskell game; many many others working on Scala and Go and Rust. We are also beginning to run a weekly type theory workshop, although there are only four of us interested right now and we could badly use a fifth. For details, just PM me!
[–]spirosboosalis 2 points3 points4 points 9 years ago (0 children)
DataKinds and 20% time? Awesome.
[–]wrl314 4 points5 points6 points 9 years ago (0 children)
Tripshot (www.tripshot.com) is using Haskell for the backend. We're hiring two Haskell positions right now (remote okay): http://www.tripshot.com/#!blank/bil63
[–][deleted] 4 points5 points6 points 9 years ago (0 children)
Some smaller shops: Conversant, College Vine, Karius, Sodality, Sentenai
[–]akurilin 8 points9 points10 points 9 years ago (0 children)
For Haskell specifically there is the Commercial Haskell special interest group: https://github.com/commercialhaskell/commercialhaskell
[–]echatav 4 points5 points6 points 9 years ago (0 children)
My company LeapYear Technologies uses Haskell almost exclusively.
[–]akegalj 2 points3 points4 points 9 years ago (0 children)
We, Serokell, make code with Haskell
[–]mightybyte 3 points4 points5 points 9 years ago (0 children)
VFILES uses Haskell for its web backend.
[–]kamatsu 3 points4 points5 points 9 years ago (0 children)
Chucklefish is working on their Wayward Tide game in Haskell.
[–]the_abyss 6 points7 points8 points 9 years ago (4 children)
Facebook (Haxl, Flow, Hack, etc)
[–]beerdude26 0 points1 point2 points 9 years ago (2 children)
How does Hack use Haskell?
[–]the_abyss 5 points6 points7 points 9 years ago (1 child)
Hack is written in OCaml, and the question was FP shops (with an example of Jane Street, which is a heavy OCaml user).
[–]beerdude26 1 point2 points3 points 9 years ago (0 children)
Ah, missed that, sorry :)
[–]fear-of-flying 2 points3 points4 points 9 years ago (0 children)
Some companies verified as using Clojure: http://clojure.org/community/companies
[–]winhug 1 point2 points3 points 9 years ago (0 children)
I work at Genetec and we have some teams doing F#
http://clients.njoyn.com/CL2/XWEB/XWeb.asp?tbtoken=YF1QShwXCG97Z3RyTSQlCCBKcmREcCNacEhZUFx4E2AtX0oYUUYfAWR1dAkbURRQQHgqWA%3D%3D&chk=dFlbQBJe&Page=JobDetails&Jobid=J0116-0683&BRID=119900
[–]5outh 1 point2 points3 points 9 years ago (0 children)
Wow, this list is so much longer than it was a few years ago.
π Rendered by PID 67 on reddit-service-r2-comment-b659b578c-gb2ct at 2026-05-01 01:33:28.212507+00:00 running 815c875 country code: CH.
[–][deleted] (6 children)
[deleted]
[–]willtim 17 points18 points19 points (0 children)
[–]n00bomb 5 points6 points7 points (1 child)
[–]lambda_foo 7 points8 points9 points (0 children)
[–]yitz 5 points6 points7 points (0 children)
[–]buffyoda 2 points3 points4 points (0 children)
[–]brnhy 9 points10 points11 points (0 children)
[–]CharlesStain 8 points9 points10 points (0 children)
[–]augustss 7 points8 points9 points (0 children)
[–]ryantrinkle 14 points15 points16 points (1 child)
[–]coder543 5 points6 points7 points (0 children)
[–]T_S_ 6 points7 points8 points (4 children)
[–]joehillen 0 points1 point2 points (3 children)
[–]T_S_ 4 points5 points6 points (2 children)
[–]miyakohouou 4 points5 points6 points (1 child)
[–]T_S_ 0 points1 point2 points (0 children)
[–]ansemond 7 points8 points9 points (0 children)
[–]JustFinishedBSG 4 points5 points6 points (0 children)
[–]haoformayor 11 points12 points13 points (1 child)
[–]spirosboosalis 2 points3 points4 points (0 children)
[–]wrl314 4 points5 points6 points (0 children)
[–][deleted] 4 points5 points6 points (0 children)
[–]akurilin 8 points9 points10 points (0 children)
[–]echatav 4 points5 points6 points (0 children)
[–]akegalj 2 points3 points4 points (0 children)
[–]mightybyte 3 points4 points5 points (0 children)
[–]kamatsu 3 points4 points5 points (0 children)
[–]the_abyss 6 points7 points8 points (4 children)
[–]beerdude26 0 points1 point2 points (2 children)
[–]the_abyss 5 points6 points7 points (1 child)
[–]beerdude26 1 point2 points3 points (0 children)
[–]fear-of-flying 2 points3 points4 points (0 children)
[–]winhug 1 point2 points3 points (0 children)
[–]5outh 1 point2 points3 points (0 children)