We present an approach to writing fused data parallel data flow programs where the library API guarantees that the client programs run in constant space. Our constant space guarantee is achieved by observing that binary stream operators can be provided in several polarity versions. Each polarity version uses a different combination of stream sources and sinks, and some versions allow constant space execution while others do not. Our approach is embodied in the Repa Flow Haskell library, which we are currently using for production workloads at Vertigo.
Thu 22 Sep Times are displayed in time zone: (GMT+09:00) Osaka, Sapporo, Tokyo change
|15:20 - 15:45|
|15:45 - 16:10|