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 (00:11) |
From: | Michael Walter <michael.walter@g...> |
Subject: | Re: [Caml-list] The boon of static type checking |
On Mon, 14 Feb 2005 00:59:21 +0100 (CET), Thomas Fischbacher <Thomas.Fischbacher@physik.uni-muenchen.de> wrote: > > On Sun, 13 Feb 2005, Michael Walter wrote: > > > > > I feel I've mentioned that so many times it should be in some FAQ ;o) > > > > > > With a parser generator (take zebu, for example) and, say, > > > SET-DISPATCH-MACRO-CHARACTER, I just as well can give you any syntax you > > > want on top of lisp. But I think you understand if I don't post code > > > that explicitly demonstrates how to do that now. > > > > This has obvious restrictrions in Common Lisp (you even mentioned one > > of them in UPPERCASE-LETTERS :). > > You can just as well put another REPL at the top. MAXIMA is an example of > just one system that does precisely that. Exactly! That's creating a new language. > [...] > In particular, it certainly is > important to understand what syntactic conventions help human programmers > to express their thoughts. > [...] > So, again, syntax is not by itself an essential feature of the language. I rate the "human factor" important enough to consider it as an essential feature for programming languages meant to be used by humans. 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). Michael