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: | skaller <skaller@u...> |
| Subject: | Re: [Caml-list] The boon of static type checking |
On Mon, 2005-02-14 at 10:59, Thomas Fischbacher wrote: > I must say, I did it, transliterating much of (it's not a lot of work > to be done, yet not quite complete) C's syntax to lisp, with the > intention to provide people with their own syntax which they even can > extend, say, for new operators, should they feel like it. I know I > probably will never use it. Neither will _any_ advanced lisp hacker, I > suppose. But it should help some people if you build them a bridge. What else is a compiler but a bridge to assembler? In that light, one might say 'it would help some novices program that can't do assembler' .. > My point is: one should not agglomerate things prematurely that better > first should be studied in isolation. You should know from Quantum Physics this idea must be taken with few grain of salt and a couple of Schroedinger cats. > Just as one can learn more about the structure of the proton by probing it > with electrons rather than with another proton, I would not mind a more > systematic approach towards finding out what makes a good language and > what not than throwing together a set of features from various corners, > shaking it well, and seeing how pretty the thing one gets turns out to be. We're open to suggestions on how to do this, for surely no one knows. All the maths in the world won't create a good programming language, even though it may help weed out poor ones. > So, again, syntax is not by itself an essential feature of the language. Sure it is: it is what distinguishes the system from a mere library. In particular, it provides a way of enforcing constraints mere library calls cannot -- and perhaps someone else can list other advantages of languages over lower level raw API calls? -- John Skaller, mailto:skaller@users.sf.net voice: 061-2-9660-0850, snail: PO BOX 401 Glebe NSW 2037 Australia Checkout the Felix programming language http://felix.sf.net