Browse thread
Estimating the size of the ocaml community
-
Yaron Minsky
-
Christopher A. Watford
-
Frédéric_Gava
-
skaller
-
Erik de Castro Lopo
- Olivier_Pérès
-
Thomas Fischbacher
-
Frédéric_Gava
-
Thomas Fischbacher
- Paul Snively
- josh
- Richard Jones
-
Jon Harrop
-
Michael Walter
-
Jon Harrop
- Damien Doligez
- Thomas Fischbacher
- Michael Walter
-
Radu Grigore
- Gerd Stolpmann
- Jon
-
Jon Harrop
- Thomas Fischbacher
- Richard Jones
-
Michael Walter
- Ville-Pertti Keinonen
- Oliver Bandel
- Basile STARYNKEVITCH
-
Thomas Fischbacher
- ronniec95@l...
- skaller
- chris.danx
-
Frédéric_Gava
-
Erik de Castro Lopo
- sejourne_kevin
- Stefano Zacchiroli
-
skaller
-
Frédéric_Gava
- Kenneth Knowles
- Michael Jeffrey Tucker
- Richard Jones
- Nicolas Cannasse
- Evan Martin
- Eric Stokes
- chris.danx
- Sylvain LE GALL
- sejourne_kevin
- Sven Luther
- Johann Spies
-
Christopher A. Watford
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2005-02-14 (01:46) |
From: | Michael Vanier <mvanier@c...> |
Subject: | Re: [Caml-list] The boon of static type checking |
> Date: Sun, 13 Feb 2005 20:11:54 -0500 > From: Michael Walter <michael.walter@gmail.com> > > > > Of course, if you decide to use S-expressions primarily as a compiler > > > target that's an entirely different issue (to bad that this path > > > hasn't been explored that much, besides maybe Dylan). > > > > That's how it's supposed to be. > But that is not what it *is* like in > 95% of "the Lisp world". See my > last mail - the typical Lisper seldomly/never "escapes" S expressions, > and I strongly believe this is not because S expressions are the > "best" syntax. > > Michael > [Way off-topic -- sorry!] But S-expressions are arguably the best syntax for writing macro expansions. Since an S-expression is trivially parseable and dispatches on its first symbol it's very easy to write source code transformations in lisp, and lispers seem to value this much more than aficionados of other languages. 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. Mike