Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] [ANN] The Missing Library
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-04-28 (17:32)
From: skaller <skaller@u...>
Subject: Re: [Caml-list] [ANN] The Missing Library
On Thu, 2004-04-29 at 03:07, james woodyatt wrote:
> On 28 Apr 2004, at 04:24, skaller wrote:
> >
> > to say another way: an iterator IS just a control inverted
> > HOF, indeed, the (abstraction of) the List.iter HOF.
> Also not precisely true,


> With Ocaml, monadic programming is a little more convoluted than with 
> Haskell, but it's not at all out of the bounds of reality.  I do it all 
> the time, 

If you find a simple enough example I'd love to see it.
I have quite a lot of 'multi-pass' phases in my Felix compiler
where i build temporary data structures in between.

I'd love to glue some of these together to eliminate building
whole data structures. For example I have phases:

	tokeniser -> rewrite token stream -> parser ->
	macro expansion and constant folding ->
	desugaring (syntactic term rewriting) ->
	lifting (separate declarations from executable code)

which can almost certainly be glued together, if only
I knew how (without rewriting the algorithms completely).

John Skaller,
voice: 061-2-9660-0850, 
snail: PO BOX 401 Glebe NSW 2037 Australia
Checkout the Felix programming language

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: