[Haskell-cafe] Re: Optimization problem

Ross Paterson ross at soi.city.ac.uk
Wed Sep 20 05:48:10 EDT 2006

On Tue, Sep 19, 2006 at 08:06:07PM +0200, apfelmus at quantentunnel.de wrote:
> For our optimization problem, it's only a matter of constructors on the
> right hand side. They should pop out before do not look on any
> arguments, so it's safe to cry "so you just know, i'm a Just".

It seems the appropriate encoding would be for the shape to be an
inductive datatype and the contents (as well as the lists) to be
coinductive, as access to the contents is gated through the shape.

More information about the Haskell-Cafe mailing list