On 08 Jan 2016, at 21:15, stepharo <stepharo@free.fr> wrote:
Sven
may be should do the following: - introduce the best solution (not using your and henrik decomposition) - continue to think about it.
There is no intermediary solution, we'll continue to think about it.
I would like to see if Xtreams does not go in the same direction too. But I do not have the code at hand to think about it.
Xtreams does not solve the problem either, I think. The key question is: can you write operations on objects, generic containers of element objects, that depend on the fact that the element objects are of a certain type (or protocol), but that might fail and make completely no sense for others. Consider the 'data get/put' category on PositionalStream with operations like #int32 and #int32: - these assume that this are byte streams. But in my book, streams can be anything, colors, records, points, fonts, ...
Stef