[Haskell-cafe] Re: Functions of type foo :: f a -> g a

[Stephen Tetley]

On 13 May 2010 20:25, Gordon J. Uszkay <uszkaygj at mcmaster.ca> wrote:
[SNIP]

>  The f container is a potentially infinite stream of data obtained from a generator, and I want to be able to control how much data is extracted, so an eager 'fmap' won't be sufficient (an eager process will be applied to the 'chunks' defined by g).
>
> I am going to purse the hylomorphism model, but am interested if anyone else has any similar situations, and if using classes to manage the interface is the right strategy.

Hi Gordon

>From your description this sounds closer to Jeremy Gibbons
'metamorphism' than a hylomorphism:

http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/
http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/metamorphisms-scp.pdf

See also the Spigot / pi paper.

Best wishes

Stephen