haskell-distributed / haskell-distributed/distributed-process
Generalize call to take a `Closure (SerializableDict a)`
Nobody has claimed this yet.
- Dominant language
- Haskell
- Stars
- 751
- Forks
- 99
- Avg merge
- 45m
- Merged PRs (30d)
- 2
Description
Currently the type of Control.Distributed.Process.call is
call :: Serializable a
=> Static (SerializableDict a)
-> NodeId
-> Closure (Process a)
-> Process a
However, it can be straightforwardly generalized to take a Closure (SerializableDict a) instead of a Static (SerializableDict a). This is strictly more general because a Static a can always be turned into a Closure a, but not vice-versa. The necessary code, along with a description of a use case for the more general call is here.
I suggest providing a more general callClosure that takes a Closure (SerializableDict a) and re-defining call in terms of it.
I volunteer to implement.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start at Control.Distributed.Process.call and compare its current Static-based type with the Closure-based implementation and use case in the linked Hyperion CallClosure.hs. Done means providing the more general callClosure and redefining call in terms of it, while preserving the existing call behavior.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- haskell
- Domain
- distributed-systems
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100