https://github.com/giacomocavalieri/fork-join
Bare bone example of fork join DSL in Scala
https://github.com/giacomocavalieri/fork-join
distributed-systems fork-join free-monads scala scala3
Last synced: 25 days ago
JSON representation
Bare bone example of fork join DSL in Scala
- Host: GitHub
- URL: https://github.com/giacomocavalieri/fork-join
- Owner: giacomocavalieri
- Created: 2023-02-25T15:46:35.000Z (about 2 years ago)
- Default Branch: main
- Last Pushed: 2023-02-25T15:50:53.000Z (about 2 years ago)
- Last Synced: 2025-03-28T17:00:00.654Z (29 days ago)
- Topics: distributed-systems, fork-join, free-monads, scala, scala3
- Language: Scala
- Homepage:
- Size: 5.86 KB
- Stars: 1
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Fork-join DSL
A bare bone fork-join DSL in Scala developed with [@vitlinda](https://github.com/vitlinda) as a funny exercise. It uses the _"free operational monad"_ encoding to get a nice syntax for the DSL for _free_ (pun intended).
Our goal was to create a basic DSL for _describing_ distributed programs and later give them semantics by _interpreting_ them.
This is 100% just an experiment and far from being complete. The end goal would be to have a minimal library that would allow one to implement a fork-reduce distributed computation.
Future work:
- Create an interpreter to draw a graph of the distributed computation ([à la Unison Remote Ability](https://twitter.com/r_l_mark/status/1620886503542120448?s=61&t=7PRJ4XOlaZns-MumtcG-zQ))
- Create an interpreter that can simulate network failure (for example given a chance the failure could occur) (`Fiber.getResult` should return an `Either` to model possible failure, so this is a change we would have to implement)