Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Matt Gushee <mgushee@havenrock.com>
To: caml-list@pauillac.inria.fr
Subject: Ledit (was Re: [Caml-list] how to use a module)
Date: Tue, 1 Jul 2003 12:29:10 -0600	[thread overview]
Message-ID: <20030701182910.GP4225@swordfish> (raw)
In-Reply-To: <87el1aedv5.dlv@wanadoo.fr>

On Tue, Jul 01, 2003 at 12:32:46PM +0200, Remi Vanicat wrote:
> Matt Gushee <mgushee@havenrock.com> writes:
> 
> > (Note to OCaml team: can we *please* get some kind of
> > history-editing functionality in the toplevel? I know there are
> 
> ledit is there for this. You can found it in the ocaml bazaar :
> http://caml.inria.fr/distrib/bazar-ocaml/

Okay, then, I have some questions about ledit:

  How do you use it? I have actually tried ledit 2 or 3 times, but if
    I invoke the 'ledit' executable that is created, e.g.

      $ ./ledit

    I get ... something ... some sort of shell-like environment, I
    guess. But all it does is echo whatever I type. And when I read your
    post, I downloaded it again to be sure, but the same thing happened
    again. I also tried making a custom toplevel with ledit, but the
    result seems to be identical to the plain ledit executable.

  Is there any objection in principle to including ledit with the main
    OCaml distribution? It needn't be in the default configuration, but
    if someone could get the OCaml source, then do

      ./configure -with-ledit
      make all
      make opt
      make install

    and have a ledit-enabled toplevel, wouldn't that be a good thing? If
    not, why not?

I think that if a language is going to have an interactive programming
environment, it should be pleasant to work with. And unless you are a
perfect typist, the lack of history editing makes the OCaml toplevel
very unpleasant to work with.

Now for me, and probably for most people on this list, that's just an
annoyance. But what would it mean for beginning programmers who might
encounter OCaml without having the background to understand why it's so
cool? Suppose a programming instructor decides to teach Python and OCaml
... some students might decide they like Python and not OCaml because
Python is easy to work with interactively and OCaml isn't. Admittedly,
that's kind of a silly reason, but the fact that someone starts doing
something for a silly reason doesn't mean that they will always be silly
about it.

So my point is, a toplevel with history editing could help OCaml's
popularity. And unless you take the elitist view that "OCaml is for
those with the intelligence and/or background to handle it," that is a
desirable result, isn't it?

-- 
Matt Gushee                 When a nation follows the Way,
Englewood, Colorado, USA    Horses bear manure through
mgushee@havenrock.com           its fields;
http://www.havenrock.com/   When a nation ignores the Way,
                            Horses bear soldiers through
                                its streets.
                                
                            --Lao Tzu (Peter Merel, trans.)

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners


  reply	other threads:[~2003-07-01 18:29 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-06-30 20:11 [Caml-list] how to use a module Jean-Baptiste Rouquier
2003-07-01  1:49 ` Matt Gushee
2003-07-01 10:32   ` Remi Vanicat
2003-07-01 18:29     ` Matt Gushee [this message]
2003-07-01 18:41       ` Ledit (was Re: [Caml-list] how to use a module) Manos Renieris
2003-07-01 18:49       ` Neel Krishnaswami
2003-07-01 19:24         ` Matt Gushee
2003-07-01 20:51         ` Karl Zilles

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=20030701182910.GP4225@swordfish \
    --to=mgushee@havenrock.com \
    --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