Previous week Up Next week


Here is the latest Caml Weekly News, for the week of 01 to 08 June, 2004.

  1. Library parsing S-expressions?
  2. ocamljitrun - new release (for new method send)
  3. Calling all Seattle Caml riders
  4. CFP: MetaOCaml Workshop

Library parsing S-expressions?

Yamagata Yoriyuki asked and Bruno Verlyck answered:
> Does anyone know a library converting S-expressions to AST?
> Preferably, it would allow 8-bit characters in symbol names,
> because I want to parse the file using Japanese symbol names.

There's something like this in Cash, a sort of Scheme reader, in fact.
Files*, atomo.mll,*.  Anything that's not something
else (number, string) is a symbol, with 8-bit chars if any.  The
lexical syntax is inspired by Scheme, but the source is small and
should be easy to modify.


ocamljitrun - new release (for new method send)

Basile Starynkevitch announced:
I just adapted ocamljitrun - see to the new cached
sending method protocol (as in Ocaml CVS and probably future release)
The cached method send [ie the new GETPUBMET bytecode operation] uses
a cache (in the bytecode), and calls runtime routine (in byterun/obj.c
- functions caml_get_public_method and caml_cache_public_method) only
for cache misses. The cache test and retrieval is inlined (inlining
the dichotomical search is not worthwhile, it would expand the
GETPUBMET bytecode into about a hundred bytes of machine code...).

Ocamljitrun still don't run on PowerPC because of a pending GNU
lightning book (which is worked on by lightning authors).

Calling all Seattle Caml riders

Jeff Henrikson said:
Brandon Van Every and I would like to organize the first ever Seattle Ocaml SIG.  Any Seattle Caml   
riders please reply.  We would like to know you are out there, even if you don't want to meet us     

CFP: MetaOCaml Workshop

Walid Taha announced:

 Submission deadline: July 1, 2004
 Notification of acceptance: August 31, 2004
 Camera ready: October 20, 2004

 A half-day tutorial will also be given the day before (see URL).


                        MetaOCaml Workshop

      GPCE'04 Workshop (Vancouver, Canada, October 25th, 2004)

MetaOCaml is a multi-stage extension of the widely used functional
programming language OCaml. It provides a generic core for expressing
macros, staging, and partial evaluation. The workshop is a forum for
discussing experience with using MetaOCaml as well as possible future
developments for the language. The scope of the workshop includes all
aspects of the design, semantics, theory, application, and implementation
of MetaOCaml. The workshop welcomes reports on

  - novel applications (especially interpreters),
  - extensions (macros, new language constructs, offshoring translations),
  - implementation techniques (compilation, RTCG), support (debugging,
  - educational use,
  - basic theory (staging annotations, static typing, static analysis,
    environment classifiers, etc).

Each submission will be reviewed by at least three members of the
Program Committee (PC). The PC will work to provide detailed and
constructive comments to the authors. The workshop will only have informal
proceedings, and is intended to be close in spirit to the Haskell, ML, and
Scheme workshops.

Based on author requests and PC decisions, authors will be given either 25
minute or 15 minute slots to present their ideas, and both will be
followed by 15 minutes of questions and discussion. At the end of the
workshop, one hour will be allocated to an open discussion to review the
outcomes of the meeting, and to discuss future challenges and directions
for MetaOCaml.

For uniformity, authors are encouraged to use the latest ACM SIGS
conference style file (option 1). We also request that submissions be
limited to 12 pages in this style. Registration for the workshop is part
of registering for GPCE'04. The event is co-located with OOPSLA'04, which
already provides housing and transportation information.

Program Committee

 * Zine El-Abidine Benaissa, Intel   * Kedar Swadi, Rice U.
 * Cristiano Calcagno, Imperial C.   * Walid Taha, Rice U. (Chair)
 * Rowan Davies, U. W. Australia     * Todd Veldhuizen, Chalmers U.
 * Ralf Hinze, U. Bonn               * Stephanie Weirich, U. Penn
 * Robert GlÃŒck, DIKU & Waseda U.    * Hongwei Xi, Boston U.
 * Oleg Kiselyov, FNMOC

Using folding to read the cwn in vim 6+

Here is a quick trick to help you read this CWN if you are viewing it using vim (version 6 or greater).

:set foldmethod=expr
:set foldexpr=getline(v:lnum)=~'^=\\{78}$'?'<1':1

If you know of a better way, please let me know.

Old cwn

If you happen to miss a CWN, you can send me a message and I'll mail it to you, or go take a look at the archive or the RSS feed of the archives.

If you also wish to receive it every week by mail, you may subscribe online.

Alan Schmitt