Re: [Caml-list] The boon of static type checking

[skaller <skaller@users.sourceforge.net>]

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