Open facundominguez opened 2 years ago
Support for linear types when working with streams needs to be implemented or worked-around to finish the conversion of the example from the unsafe to safe (linear) interface.
This issue is a follow up of #160
Is the linear stream sub-library from linear-base sufficient to address this?
It may. We need to get into writing a safe interface for jvm-streaming to understand the difficulties.
Support for linear types when working with streams needs to be implemented or worked-around to finish the conversion of the example from the unsafe to safe (linear) interface.
This issue is a follow up of #160