Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Ian T Zimmerman <itz@rahul.net>
To: caml-list@pauillac.inria.fr
Subject: Re: Language improvements (?)
Date: Wed, 24 Jul 1996 19:12:38 -0700	[thread overview]
Message-ID: <199607250212.TAA04865@kronstadt.rahul.net> (raw)
In-Reply-To: christo@nextsolution.co.jp's message of Wed, 24 Jul 1996 18:53:44 +0900



In article <9607240953.AA00610@sparc3.nextsolution.co.jp>
christo@nextsolution.co.jp (Frank Christoph) writes:

>   No, although that would be nice too.  :) I mean an indentation
> convention for lexical scoping.  For example, instead of

> if x = y then (do_a; if x = z then do_b) else do_the_other_thing
> 
> write:
> 
> if x = y then	do_a;
> 		if x = z then do_b
> 	 else	do_the_other_thing
> 

> Here the lexical analyzer can determine that the else-clause belongs
> to the first "if" because the position of the "else" is to the left
> of the second "if" (off-side) and thus must belong to an outer
> scope.

Hmm, I sincerely hope the Caml team will _not_ follow this suggestion,
or at the very least leaves an escape in the form of a compiler switch
for those of us who dislike it.

It is a religious issue, and I see little point in repating the
arguments made many times before in comp.compilers, among other
places.  I recognize the points of the other side, but this would be a
fundamental change in how the language `looks and feels' and so I
think prudence should prevail and scoping by keywords should be
preserved.

-- 
                  +-------------------------------------------+
                  I When the dead are left to bury the dead,  I
                  I the living remain alone.  Arthur Koestler I
                  +-------------------------------------------+





  parent reply	other threads:[~1996-07-25  8:22 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1996-07-24  6:30 Frank Christoph
1996-07-24  8:44 ` Pierre Weis
1996-07-24  9:53   ` Frank Christoph
1996-07-24 17:04     ` Georg Bauer
1996-07-25  2:12     ` Ian T Zimmerman [this message]
1996-07-25 12:26   ` Michel Mauny
1996-07-25 17:14 Pierre Weis

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=199607250212.TAA04865@kronstadt.rahul.net \
    --to=itz@rahul.net \
    --cc=caml-list@pauillac.inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox