Our greatest glory is not in never failing, but in rising every time we fail.– Confucius
Table Of Contents
As time progresses, I've come to love developing concurrent applications in Haskell, its API (STM, MVars, etc.) and light threading RTS bring a lot to the table. There is another technology that is more famous than Haskell in regards to concurrency, and that is Erlang, more specifically its OTP library.
If you wonder why that is, you may need to look into the OTP library design, actors systems (in general) provide an architecture that enables applications to be tolerant to failure through the enforcement of communication via message passing and by making use of a critical infrastructure piece called a Supervisor.
After trying to replicate Erlang's behavior on Haskell applications by using the distributed-process library (a clone of OTP), and after implementing several (disposable) iterations of actor systems in Haskell, I've settled with just this library, one that provides a simple Supervisor API.
This library is intended to be a drop-in replacement to
throughout your codebase, the difference being, you'll need to do a bit more of
setup specifying supervision rules, and also pass along a reference of a
supervisor for every thread you fork.
distributed-process is an impressive library, and brings many great utilities
if you need to develop applications that need to be distributed and reliable.
However, it is a heavyweight solution that will enforce serious changes to your
application. This library is intended to provide the reliability benefits of
distributed-process, without the constraints imposed by the distributed
Why not a complete actor system?
Actor systems are very pervasive, they impose specific design constraints on your application which can be rather expensive. This library attempts to bring some of the reliability benefits of actor systems without the "change all your application to work with actors" part of the equation.
That said, this library can serve as a basis for a more prominent library that provides an opinionated Inter-Process communication scheme. If you happen to attempt at doing exactly that, please let me know, I would love to learn about such initiatives.
async is a fabulous library that allows Applicative composition of small
asynchronous sub-routines into bigger ones and link errors between them. Given
async fits the bill perfectly for small operations that happen
concurrently, not necessarily for long living threads that need to be restarted.
This library attempts not to replace async's forte, but rather provides other
benefits not found in
async, like automatically restarting threads with a given
recipe under error situations.
Documentation can be found here
Make sure you include the following entry on your cabal file's dependecies section.
library: build-depends: capataz
Or on your
dependencies: - capataz
Follow the developer guidelines
In future releases
- Replace Protolude in favor of RIO
- Documentation of performance analysis
- Documentation improvements
- capataz-dashboard package that provides web-ui with Supervisor statistics
- Ensure unit tests always finish on all concurrent scenarios (dejafu experiment)