jose_zap

We use Haskell for work. It is very obvious for us now that Haskell outshines other languages precisely for the task of reaching out to the messy world. You get it right once and you never have to look at it again.

This is due to how it easily lends itself to transforming unstructured inputs into structured outputs, and also because of its amazing asynchronous programming model.

That’s funny. I reported that same ad last week to Google and got an email this morning saying that they were not violating any terms.

That’s how perception works. We only see what we want to see, and discard or explain away the rest.

Si by by

> the tooling is decades behind, say, Rust or Go

That's definitely not true, even if that was true maybe 6 years ago. As someone who's uses Haskell daily and also many other languages, I can see Haskell's tooling as more advanced than many others.

No, it can be any pure function or IO. Both will get interrupted.

Haskell would be one of them. It features transactional memory, which frees the programmer from having to think about explicitly locking.

That was definitely true many years ago. Nowadays Haskell has some really good tooling.

It has a feature-rich LSP, code formatter, package manager, dead-code checker, configurable linter, thread debugger, memory debugger, vulnerabilities checker, and much more.

That’s just what is provided by external tooling. Then, it also has everything the compiler has to offer, which is bit more than what most languages do. For example, you can now compile to JavaScript or WASM.

> Postgres offers strictly serializable isolation indeed, but IIUC it's basically a form of read locking so will tank performance.

It will not. We use it at work for all transactions and its is very performant.

Interestingly, the naive solution presented in this article is O(n) thanks to laziness.

That’s floating point, though. Not Double. Floating point has the same gotchas in all languages because it is a defined standard.

Haskell has & which goes the other way:

    users
      & map validate
      & catMaybes
      & mapM persist

The screenshot looks like a copy of the hasura web console. The same looks also similar to Hasura’s internal RQL. I wonder if this is just a coincidence.