Companies That Use Haskell in Production
serokell.io
serokell.io
E.g. with Haskell Language Server we have nice autocompletion. Recently dot-notation has been added, so you can now write `someValue.someField` as in other languages. And the documentation is improving as well.
If you're doing web development, a good starting point is IHP (https://ihp.digitallyinduced.com/ https://github.com/digitallyinduced/ihp). IHP is Haskell's version of Laravel/Rails/Django. It's really a superpower to have Haskell's type system combined with the rapid development approach of Rails :) (Disclaimer: I'm founder of the company that makes IHP)
But, yes, wrapping your data helps solve some of the problem in any language. For instance, in Java we hold passwords from requests with a Password class rather than with a String class, whose .toString will return "xx" rather than the actual password.
Nothing is "secure" forever and ever. For each objective you need to state some assumptions that are required to uphold it.
Haskell allows you to express more assumptions in code, not just comments, to be enforced at compile time. And with some careful handling Haskell types provide a solid foundation without going into full deductive verification mode.
That's the setup I use on Windows and Linux, and it's great
What is meant here is that instead of writing `fieldName record` you can write `record.fieldName` mirroring imperative language.
Go is the most popular of this set, but to me seems like it barely qualifies as "high level". On Tiobe, the next most popular language from this set after Go is Haskell.
I like Haskell just fine, but what I really care about is "a more high level GC'd language than Go that ships binaries".
See also: https://en.wikipedia.org/wiki/Go_(programming_language)#Omis...
Our backend at Lumi (W15) is all Haskell. We’ve been happily building with Haskell since 2016. Lumi is making the world’s factories accessible online. The transactions that occur on Lumi are large and typically non-returnable because all of the products being manufactured are custom, mass-produced items. Haskell helps us in all kinds of ways, including performing safer migrations, and creating DSLs to define specifications of manufacturable products.
I just wanted to feature some of the biggest names and some of the cool use cases.
BTW, if you're interested in Haskell case studies, we have a series called Haskell in Production (https://serokell.io/blog/haskell-in-production) with interviews with Haskell projects that covers more ground.
-- Author
Unless I'm reading it wrong....
If you're looking to work in Haskell there are some avenues to hunt down. Same caveats as with Standard Chartered and Meta mentioned in the article, there is Haskell but it is scuttling around in the corners not flowing from everywhere.
Like I could show 10 personal projects in Haskell and still no one would give two damns and ask me for few years of professional Haskell experience.
There's less work in Haskell than willing applicants it seems. It's time to sell it better to management.
Anyone else using Haskell to run a SaaS?
Edit: I was asking kind of flippantly, but actually upon reading your team and product seems quite interesting. Would you be up for a chat?
What other companies have the equivalent of Microsoft Research in terms of funding and in terms of research output?
Does Google come even close? And where is Apple on the list?
So has MS for that matter. I don't see why supporting the compiler of a relatively niche language counts as funding and research but those things don't.
MS has produced a lot of pure research. Google and Apple produce mostly code.
But your comment seemed to assume "compilers are the output of research" so I went with that.
I don't know anything about microsoft's research or apple's or google's either. But again I just don't understand the distinction between "research" and "code" that's being made here. There might be a useful distinction there but you're not making it.
Sorry, the bathroom's gonna be later than we thought, we're having trouble finding a plumber who speaks Esperanto. And the deck's actually slanted because the framing team spoke a different language than the deck-building team so their interfaces weren't designed together. The roof is also porous now because the roofers' language didn't easily support water-tightness. Also, we need a crane to lift our toolbox since we need a duplicate tool for every language and now it weighs 5,000lbs.
It's also literally impossible to pick just one - you would fail at the JavaScript vs C problem.
But maybe if we always had this philosophy, we would all be coding everything in cobol.
We could just make one language that had the features of both javascript and C. We literally can invent anything we want. A n y t h i n g. We have to throw away all our preconcieved notions about what's possible and just make the world the way we want it to be / a way that's better than we have now
That's the point that I was trying to make (and likely, what I should've just said in the first place.)
Programming Languages are known, not carried, they weigh nothing.
Using a single language for everything would be terrible, like using a Chinese Army Survival Shovel-fork-axe-spoon-saw-pan-ruler-hoe-hammer to build a house, it'd do everything, and do everything terribly.
Our tools are relatively cheap to build and test compared to other fields, so we have a lot more of them.
I don’t know about 7, but depending on where you live there certainly may be 3 or more.
> It's really weird that we all don't just use one language.
I’m so glad we don’t. I love my preferred stack and I know there are others who’d never ever want to use it; someone would be very unhappy.
I became the only Scala dev in a team who wanted to rewrite the codebase in Typescript.
I ran out of work to do there at times - while the team was still growing. The same manager who couldn't find work for me, after announcing that the team would be splitting because it got too big, was dumbfounded when I suggested we stop hiring more people.
I had a few colleagues who had worked there longer than me, but didn't have any code in prod.
I feel stupid even writing this, but it honestly seemed that having more developers was more important than the product itself.
Otherwise what the hell did you go out and raise more money for? More engineers is the easiest way to spin wheels and make money go away without a lot of questions being asked.
It's one of the sad realities and cargo cults that we all participate in.
Getting hired to a Haskell or Elixir/Erlang role in a bootstrapped company is the dream but there's only so many of those jobs out there right now, sadly.
HN: the worst thing out there, except for everything else!
We are the global pioneers of an OECD endorsed disruptive fintech platform that enhances your parents pension wealth by 87% with Zero added risk according to ETHZurich (Einstein's alma mater).
OH, and I should mention that we are hiring mathematicians/statisticians.
IIRC, Target also uses Haskell for some of their data science teams.
Teaching the language while showing examples of using it for day to day tasks, like file management
Also, it might be a better list if the companies mainly used haskell. Having Meta or Microsoft doesn't mean all that much as they probably use every language under the sun somewhere.