lazy lists

lazy lists

[Yitzhak Mandelbaum]

[-- Attachment #1: Type: text/plain, Size: 249 bytes --]

Hi,

Does anyone have/know of a lazy list module for ocaml? I couldn't  
find anything on the hump.

Thanks!
Yitzhak

--------------------------------------------------
Yitzhak Mandelbaum
AT&T Labs - Research

http://www.research.att.com/~yitzhak



[-- Attachment #2: Type: text/html, Size: 2545 bytes --]

Re: [Caml-list] lazy lists

[Loup Vaillant]

2007/5/1, Yitzhak Mandelbaum <yitzhak@research.att.com>:
> Hi,
>
> Does anyone have/know of a lazy list module for ocaml? I couldn't find
> anything on the hump.

The equivalent is the functionnal streams, describe briefly in the
camlp4 manual.

Another possibilty is to code it yourself. I think you can imitate
most of the List module code.

Regards,
Loup

Re: [Caml-list] lazy lists

[Jon Harrop]

On Tuesday 01 May 2007 16:47, Loup Vaillant wrote:
> The equivalent is the functionnal streams, describe briefly in the
> camlp4 manual.

Aren't ocaml stream destructive?

-- 
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
The F#.NET Journal
http://www.ffconsultancy.com/products/fsharp_journal/?e

Re: [Caml-list] lazy lists

[Nicolas Pouillard]

On 5/1/07, Jon Harrop <jon@ffconsultancy.com> wrote:
> On Tuesday 01 May 2007 16:47, Loup Vaillant wrote:
> > The equivalent is the functionnal streams, describe briefly in the
> > camlp4 manual.
>
> Aren't ocaml stream destructive?

Yes they are.

-- 
Nicolas Pouillard

Re: [Caml-list] lazy lists

[Loup Vaillant]

2007/5/2, Nicolas Pouillard <nicolas.pouillard@gmail.com>:
> On 5/1/07, Jon Harrop <jon@ffconsultancy.com> wrote:
> > On Tuesday 01 May 2007 16:47, Loup Vaillant wrote:
> > > The equivalent is the functionnal streams, describe briefly in the
> > > camlp4 manual.
> >
> > Aren't ocaml stream destructive?
>
> Yes they are.

Regular streams are destructive. I was talking about "functional"
ones. I didn't try them myself, but the manual says one can perform
left recursion with them (thanks to their non destructive nature).
Mind the pattern matching, though: it is quite different from the one
used with regular streams.

the syntax looks like:

let f s = match s with fparser (* and not just 'parser' *)
...

If I remember well.

Loup Vaillant

Re: [Caml-list] lazy lists

[Daniel de Rauglaudre]

Hi,

On Wed, May 02, 2007 at 12:03:29PM +0200, Loup Vaillant wrote:

> Regular streams are destructive. I was talking about "functional"
> ones. I didn't try them myself, but the manual says one can perform
> left recursion with them (thanks to their non destructive nature).

Use camlp4s : the library "fstream" and the syntax extension "pa_fstream"
are still there. Access and download from my home page below.

-- 
Daniel de Rauglaudre
http://pauillac.inria.fr/~ddr/index-english.html