Closed ShapeOfMatter closed 4 months ago
To capture the full power of he-lambda-small, it should be possible to express fully-parallel computations monlithicly. I think that looks like
parallel :: Subset qs ps -> (forall q. Member q qs -> Unwrap l -> a) -> Choreo ps m (Located qs a)
Note that the inner computation is not monadic, so this should all work out find. That said, how does this interact with #6?
To capture the full power of he-lambda-small, it should be possible to express fully-parallel computations monlithicly. I think that looks like
Note that the inner computation is not monadic, so this should all work out find. That said, how does this interact with #6?