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: | -- (:) |
| From: | Michael Walter <michael.walter@g...> |
| Subject: | Re: [Caml-list] The boon of static type checking |
On Sun, 13 Feb 2005 22:42:29 +0100 (CET), Thomas Fischbacher <Thomas.Fischbacher@physik.uni-muenchen.de> wrote: > > On Sun, 13 Feb 2005, Michael Walter wrote: > > > Your argument regarding Lisp and O'caml ignores the fact that > > programming languages are to a large part about syntax - for obviously > > valid reasons like accessability, maintainability, expressiveness, > > etc. > > > > 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 :). The fact that few people actually extend the syntax of CL beyond mere S-expressions also indicates that (the usual counter goes like "we are happy with S-expressions", which I believe is not the entire story :). [1] I can imagine, though, that there might eventually be a language (or environment), which gets rid of some of those restrictions, which is one of the reasons why I've a.. more open attitude to new programming languages and environments :) [2,3] Michael [1] It works great for embedding XML into CL, though :-) http://blog.leetspeak.org/wp-content/xmlhack.png [2] e.g. Logix, see http://logix.livelogix.com/ [3] e.g. IP, see google & http://www.aisto.com/roeder/paper/IntentionalProgramming.ppt