According to the Bird-Merteens formalism, categorical types are exposing an inherent potential for parallel evaluation. They shall be used as promoters for the skeleton layer.
For forsyde-atom-0.1.1, at least one categorical type needs to be implemented, to demonstrate the potential of algorithmic skeletons + MoCs. Ideally, two types shall be implemented, to depict the completeness of the atom grammar for this layer.
According to the Bird-Merteens formalism, categorical types are exposing an inherent potential for parallel evaluation. They shall be used as promoters for the skeleton layer.
For
forsyde-atom-0.1.1, at least one categorical type needs to be implemented, to demonstrate the potential of algorithmic skeletons + MoCs. Ideally, two types shall be implemented, to depict the completeness of the atom grammar for this layer.Types considered: