Re: [Caml-list] Code-execution (evaluation) time

2010-10-22 Thread oliver
Hello David, hello Mark, thanks for your answers. In detail: thanks to Mark for the refresher and thanks to David for the enhancer. :) Ciao, Oliver ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/li

Re: [Caml-list] Code-execution (evaluation) time

2010-10-22 Thread oliver
Hello David, hello Mark, thanks for your answers. In detail: thanks to Mark for the refresher and thanks to David for the enhancer. :) Ciao, Oliver ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/list

[Caml-list] [ANN] oasis v0.2.0: Architecture for building OCaml libraries and applications

2010-10-22 Thread Sylvain Le Gall
OASIS generates a full configure, build and install system for your application. It starts with a simple `_oasis` file at the toplevel of your project and creates everything required. It uses external tools like OCamlbuild and it can be considered as the glue between various subsystems that do the

[Caml-list] [ANN] ocaml-data-notation v0.0.3: Store data using OCaml notation

2010-10-22 Thread Sylvain Le Gall
This library uses `type-conv` to dump OCaml data structures using OCaml data notation. This kind of data dumping helps to write OCaml code generator, like OASIS. Changes: * Partial support for polymorphic variant, as used in OASIS v0.2.0 Homepage: http://forge.ocamlcore.org/projects/odn Get so

Re: [Caml-list] [ANN] oasis v0.2.0: Architecture for building OCaml libraries and applications

2010-10-22 Thread Dario Teixeira
Hi, > OASIS generates a full configure, build and install system for your > application. It starts with a simple `_oasis` file at the toplevel of your > project and creates everything required. Do you have plans to make GODI packages for Oasis and its dependencies? (I don't mean using Oasis to au

[Caml-list] Re: [ANN] oasis v0.2.0: Architecture for building OCaml libraries and applications

2010-10-22 Thread Sylvain Le Gall
On 22-10-2010, Dario Teixeira wrote: > Hi, > >> OASIS generates a full configure, build and install system for your >> application. It starts with a simple `_oasis` file at the toplevel of your >> project and creates everything required. > > Do you have plans to make GODI packages for Oasis and it

[Caml-list] ICFP 2011: Call for Workshop Proposals

2010-10-22 Thread Wouter Swierstra
CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2011 16th ACM SIGPLAN International Conference on Functional Programming September 19 - 21, 2011 Tokyo, Japan http://www.icfpconference.org/i

[Caml-list] Typesystem and Parsers

2010-10-22 Thread Oliver Bandel
Hello, when reading papers or books on parsing techniques, the parsing often is done in different distinctive steps, where type checking and semantic checks are done after the parse tree is build up. This may be the classical way, for example when doing it in C. When using OCaml with it's stron

[Caml-list] PostDoc and PhD Positions at Yale University

2010-10-22 Thread Zhong Shao
[Apology for possible cross-postings!] The Department of Computer Science at Yale University is seeking applicants for PostDoc and PhD positions in the broad area of certified software. The successful applicants will be expected to participate in a rigorous research program on topics such as prog

Re: [Caml-list] [ANN] oasis v0.2.0: Architecture for building OCaml libraries and applications

2010-10-22 Thread bluestorm
On Fri, Oct 22, 2010 at 1:03 AM, Sylvain Le Gall wrote: > Changelog and full blog post here: > http://www.ocamlcore.com/wp/2010/10/oasis-v02-release/ I've used oasis for small experiments, and I hope this project will gain traction. I found it perhaps still a bit rough on the dev. side : it's he

Re: [Caml-list] Typesystem and Parsers

2010-10-22 Thread Oliver Bandel
Zitat von "Oliver Bandel" : Hello, when reading papers or books on parsing techniques, the parsing often is done in different distinctive steps, where type checking and semantic checks are done after the parse tree is build up. This may be the classical way, for example when doing it in C. Wh

[Caml-list] Re: [ANN] oasis v0.2.0: Architecture for building OCaml libraries and applications

2010-10-22 Thread Sylvain Le Gall
On 22-10-2010, bluestorm wrote: > >> Changelog and full blog post here: >> http://www.ocamlcore.com/wp/2010/10/oasis-v02-release/ > > > I've used oasis for small experiments, and I hope this project will gain > traction. > I found it perhaps still a bit rough on the dev. side : it's heavier than >

Re: [Caml-list] Re: [ANN] oasis v0.2.0: Architecture for building OCaml libraries and applications

2010-10-22 Thread bluestorm
On Fri, Oct 22, 2010 at 7:51 PM, Sylvain Le Gall wrote: > Have you tried the "revamped" quickstart subcommand. I am trying to make > the creation of _oasis as easy as possible... > > > If you have any suggestions to help make "lighter", I'll be happy. BTW, > when you say "heavier", is it in term

[Caml-list] Re: [ANN] oasis v0.2.0: Architecture for building OCaml libraries and applications

2010-10-22 Thread Sylvain Le Gall
On 22-10-2010, bluestorm wrote: > On Fri, Oct 22, 2010 at 7:51 PM, Sylvain Le Gall wrote: > >> Have you tried the "revamped" quickstart subcommand. I am trying to make >> the creation of _oasis as easy as possible... >> >> > >> If you have any suggestions to help make "lighter", I'll be happy. BTW

Re: [Caml-list] OPLP: Ocaml APache Log Parser

2010-10-22 Thread oliver
On Mon, Oct 11, 2010 at 03:54:22PM +0200, oli...@first.in-berlin.de wrote: > On Mon, Oct 11, 2010 at 02:45:49PM +0100, Chris Yocum wrote: > > Dear Everyone, > > > > I just wanted to let Ocaml'ers know that I am currently working on an > > apache combined log parser. It is still in very early stag

Re: [Caml-list] Typesystem and Parsers

2010-10-22 Thread Norman Hardy
On 2010 Oct 22, at 7:59 , Oliver Bandel wrote: > Also with arranging a parser (e.g. with ocamlyacc) both ways can be walked > along, either by just accepting everything and build up the tree, and later > detect erros in syntax or type... (for example all scanned entities given > back as string

Re: [Caml-list] Typesystem and Parsers

2010-10-22 Thread oliver
On Fri, Oct 22, 2010 at 04:43:46PM -0700, Norman Hardy wrote: > > On 2010 Oct 22, at 7:59 , Oliver Bandel wrote: > > > Also with arranging a parser (e.g. with ocamlyacc) both ways can be walked > > along, either by just accepting everything and build up the tree, and later > > detect erros in s

Re: [Caml-list] Re: [ANN] oasis v0.2.0: Architecture for building OCaml libraries and applications

2010-10-22 Thread Mihamina Rakotomandimby
> sylv...@le-gall.net : >I don't have plans for GODI, but I plan to build Debian packages. Oh! Yeah! :-) -- Architecte Informatique chez Blueline/Gulfsat: Administration Systeme, Recherche & Developpement +261 34 56 000 19