Version française
Home     About     Download     Resources     Contact us    
Browse thread
Estimating the size of the ocaml community
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Michael Walter <michael.walter@g...>
Subject: Re: [Caml-list] The boon of static type checking
On Sun, 13 Feb 2005 17:46:24 -0800 (PST), Michael Vanier
<mvanier@cs.caltech.edu> wrote:
> [Way off-topic -- sorry!]
> 
> But S-expressions are arguably the best syntax for writing macro
> expansions.
Yeah, they are well-suited for that.

> More recent efforts like metaocaml and template Haskell (not to
> mention camlp4 and C++ templates) suggest that the notion that source code
> transformations can be a useful part of programming is getting more
> popular.
And this is great! What bothers me about S-expressions is that their
sole advantage seems to lie in technical reasons, like the ones
mentioned above. I strongly believe that there might be better ways to
allow for both intuitive code transformations and expressive,
"human-friendly" syntax. That's why I'm personally very interested in
efforts such as Metaocaml, ocamlp4, TH, Logix, IP, etc.

Michael