English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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, mailto:skaller@users.sf.net
voice: 061-2-9660-0850, 
snail: PO BOX 401 Glebe NSW 2037 Australia
Checkout the Felix programming language http://felix.sf.net

To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners