DynamicPipeline
DynamicPipeline is a Type Safe Dynamic and Parallel Streaming Library, which is an implementation of Dynamic Pipeline Paradigm (DPP) proposed in this paper DPP.
The aim of this Library is to provide all the Type level constructs to guide the user in building a DPP flow to solve any algorithm that fits on this computational model.
This implementation has been developed using Type Level Programming techniques like Type families
, Defunctionalization
, Existential Types
and Dynamic Record Tagged Types
among others.
Using all this techniques, we provide a High Level and Type Safe DPP Library to build a Data Flow Algorithm avoiding as much as possible boilerplate code, but maintaining safety and robustness.
Prerequisites
This project has been built and developed with the following versions:
Cloning the project
git clone https://github.com/jproyo/dynamic-pipeline
Issues
https://github.com/jproyo/dynamic-pipeline/issues
Pull Request
https://github.com/jproyo/dynamic-pipeline/pulls
Licensing
dynamic-pipeline
is an open source project available under a liberal BSD-3-Clause license