One of the biggest dreams of software engineering is unrestricted composability.
This may be put in these terms:
ap2 two applications with arbitrary complexity, with all effects including multiple threads, asynchronous IO, indeterminism, events and perhaps, distributed computing.
Then the combinations:
- ap1 <|> ap2 -- Alternative expression - ap1 >>= \x -> ap2 -- monadic sequence - ap1 <> ap2 -- monoidal expression - (,) <$> ap1 <*> ap2 -- Applicative expression
are possible if the types match, and generate new applications that are composable as well.
Transient does exactly that.
<> express concurrency, the operator
<|> express parallelism and
>>= for sequencing of threads and/or distributed processes. So even in the presence of these effects and others, everything is composable.
For this purpose transient is an extensible effects monad with all major effects and primitives for parallelism, events, asynchronous IO, early termination, non-determinism logging and distributed computing. Since it is possible to extend it with more effects without adding monad transformers, the composability is assured.
The Wiki is more user oriented
My video sessions in livecoding.tv not intended as tutorials or presentations, but show some of the latest features running.
The articles are more technical:
- Philosophy, async, parallelism, thread control, events, Session state
- Backtracking and undoing IO transactions
- Non-deterministic list like processing, multithreading
- Distributed computing
- Publish-Subscribe variables
- Distributed streaming, map-reduce
These articles contain executable examples (not now, since the site no longer support the execution of haskell snippets).