opaleye VS haskell-companies

If you ever have any questions about Opaleye I'm happy to help. Feel free to open an issue to ask about anything any time.

Sounds like Opaleye isn't on your list of choices, but if it is then feel free to ask me any questions, any time by filing an issue (I'm the Opaleye maintainer).

Opaleye is Posgres-only, and Postgres does such a good job of optimizing queries that performance issues basically don't arise. I have a long-standing invitation to improve Opaleye's query generation as soon as anyone can produce a repeatable example of a poorly-performing query. In Opaleye's eight years, no one ever has. There's a thread where two reports have come close, but it's still not clear that that's simply due to using a six year old version of Postgres.

Nice! Well done. If you have any more questions about product-profunctors or Opaleye then please let me know. It's best to ask by [opening an issue](https://github.com/tomjaguarpaw/haskell-opaleye/issues/new).

The only way out that I can see is to design embedded domain specific languages (EDSLs) that inherit the expressiveness, composability and type safety from the host language. That's what Opaleye and Rel8 (Postgres EDSLs for Haskell do. Haskell is particularly good for this. The query language can be just a monad and therefore users can carry all of their knowledge of monadic programming to writing database queries.

This approach doesn't resolve all of the author's complaints but it does solve many.

Disclaimer: I'm the author of Opaleye. Rel8 is built on Opaleye. Other relational query EDSLs are available.

[1] https://github.com/tomjaguarpaw/haskell-opaleye/

For an example of how this plays out in practice observe Opaleye's MaybeFields (generously contributed by Shane and /u/ocharles at Circuithub). The definition is essentially identical to Optional from the paper. Instead of a specialised typeclass Inhabited we use the ProductProfunctor NullSpec (which happens to conjure up an SQL NULL, but it could be any other witness).

There's quite a few finance companies listed on this haskell-companies list (and also 7 different blockchain companies). Standard Chartered presented how they use Haskell at HIW 2021.

This is a useful list: https://github.com/erkmos/haskell-companies

There are only a handful of industry resources using Haskell, despite being a fully-fledged production language used by dozens of companies.

Here is the list of companies where Haskell is used.

You can find a list of some companies that use Haskell (some based in the US) here: https://github.com/erkmos/haskell-companies

luck i guess, i had no idea of it's existance until i started working there (as an intern). 4 years later i fucking love it, best thing that ever happened to me. r/haskell has some postings from time to time, and they also made a list of companies that use it. I work in chile btw.