drama

drama copied to clipboard

Ideas and inspiration

2

## Todo - [ ] Document concurrency / supervision / process tree semantics - When a parent actor dies, it's children get killed - When a child actor dies, it...

evanrelf

Instances for `exceptions` classes

5

Since the `Actor` monad is basically a `ReaderT`, do you think it'd be possible to add instances for `exception`'s `MonadThrow`, `MonadCatch` and `MonadMask`? Of course, exception handling ought to be...

NicolasT

See #14 and #15.

NicolasT

Should `receive` evaluate (to WHNF or NF) the result of the callback?

2

Currently, the result of the callback passed to `receive` is written into an `MVar` as-is, for further consumption by another actor/thread. If this value is not forced to WHNF or...

NicolasT

`Eq` instance for `Address`?

1

Unagi's `InChan` has an `Eq` instance, so I imagine `Address` could get (a derived) one as well. This would help keeping `Address`es in some list (and removing one of them...

NicolasT

Alternative `receive`?

1

Currently, `receive`'s type is `(forall res. msg res -> Actor msg res) -> Actor msg ()`. As a result, when using it, a handler for all kinds of messages is...

NicolasT