Get the latest tech news

Concurrency in Haskell: Fast, Simple, Correct


Yet another programming blog. Thoughts on software and related misadventures.

If you’d asked me about functional programming a few years ago, I would have told you it was self-indulgent academic baloney—and then I stumbled into people using it for real-time systems where microseconds can mean literal life or death. (Haskell’s ability to build generalize code over “anything foldable” or “anything traversable” is another superpower worth talking about, but let’s gloss over FP jargon today.) In the same way Rust makes most memory bugs impossible on the type level, STM wipes out entire categories of concurrency problems.

Get the Android app

Or read this on Hacker News

Read more on:

Photo of Haskell

Haskell

Photo of concurrency

concurrency

Related news:

News photo

Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf] (2013)

News photo

Making a multiplayer action game in Haskell

News photo

Par: Process language with an interactive playground for exploring concurrency