I think this separation reflects the way that Flink is used currently anyways. I would be in favor of it as well.
- What about the ongoing efforts (I think by Gyula) to combine both the batch and stream processing APIs? I assume that this would only effect the performance and wouldn't pose a fundamental problem there, would it?