caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: "Luca de Alfaro" <luca@dealfaro.org>
To: "Inria Ocaml Mailing List" <caml-list@inria.fr>
Subject: Re: [Caml-list] If OCaml were a car
Date: Tue, 21 Aug 2007 23:04:31 -0700	[thread overview]
Message-ID: <28fa90930708212304v50d778e6u442f9f7cf8c1793e@mail.gmail.com> (raw)
In-Reply-To: <20070819171953.GB20931@takhisis.invalid>

[-- Attachment #1: Type: text/plain, Size: 2563 bytes --]

Backward compatibility is of the UTMOST importance.
Developers tend to assume that people who wrote package X can always adapt
it to new conventions, but often this is just not true: the developers may
be working on other things now, their interests may have shifted, and great
packages get left behind and are eventually lost.

Let's make an example: George Necula in Berkeley wrote (with his students)
CIL, a superb front-end to C code analysis.  Suppose the Ocaml syntax
changes in a non-trivial way.  Would he be willing, and have time, to fix
CIL?  To spend his time in a job with zero innovation content, and lots of
frustration?  It is anyone's bet.  And what about in five years from now?
Who knows?

There is a point in which people move on, and it is very important that
software continues to work in a stable way, or we are losing great work all
the time -- and there is some great work that is not easy at all to redo.
Yes, the language survives, but the software not always.

Luca

On 8/19/07, Stefano Zacchiroli <zack@bononia.it> wrote:
>
> On Sun, Aug 19, 2007 at 06:07:16PM +0100, Richard Jones wrote:
> > It's not likely that the syntax can be changed (how is the revised
> > syntax doing lately?) but there is one error message which could be
>
> Well, yes, the syntax can be changed and it isn't hard either.
>
> It's just a matter of stating something like «from version x.y the
> official syntax is the revised one, you can use the provided converter
> for migrating your old code to the new syntax». Other languages have
> seen similar migrations in the past and they survived.
>
> Point is that upstream OCaml authors have never acknowledged that the
> current syntax is more than sub-optimal and the fear of missing backward
> compatibility has done the rest.
>
> The revised syntax is far better, but there has never been the
> willingness to push it.
>
> Cheers.
>
> --
> Stefano Zacchiroli -*- PhD in Computer Science ............... now what?
> zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/
> (15:56:48)  Zack: e la demo dema ?    /\    All one has to do is hit the
> (15:57:15)  Bac: no, la demo scema    \/    right keys at the right time
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>

[-- Attachment #2: Type: text/html, Size: 3377 bytes --]

  reply	other threads:[~2007-08-22  6:04 UTC|newest]

Thread overview: 40+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2007-08-18 19:21 Richard Jones
2007-08-18 20:24 ` [Caml-list] " Jeff Meister
2007-08-18 21:32   ` Michael Vanier
2007-08-19 11:50     ` Daniel Bünzli
2007-08-19 11:59       ` Erik de Castro Lopo
2007-08-22  5:50         ` Luca de Alfaro
2007-08-22  8:13           ` Jon Harrop
2007-08-22  9:20             ` Jacques Garrigue
2007-08-24  2:54           ` Nathaniel Gray
2007-08-25 19:45             ` Oliver Bandel
2007-08-19 14:43       ` John Carr
2007-08-19 16:22         ` brogoff
2007-08-19 17:07         ` Richard Jones
2007-08-19 17:19           ` Stefano Zacchiroli
2007-08-22  6:04             ` Luca de Alfaro [this message]
2007-08-19 20:51           ` Vincent Hanquez
2007-08-21  8:05           ` David Allsopp
2007-08-21 18:33             ` Richard Jones
2007-08-19 20:30         ` Tom
2007-08-19 21:45           ` skaller
2007-08-20  3:37             ` Jon Harrop
2007-08-20  6:26               ` skaller
2007-08-20 10:00                 ` Joerg van den Hoff
2007-08-21 12:03                   ` Florian Hars
2007-08-20  6:54               ` skaller
2007-08-20 19:54       ` Oliver Bandel
2007-08-20 20:27         ` David Allsopp
2007-08-20 20:50           ` Ulf Wiger (TN/EAB)
2007-08-21 10:56             ` Joerg van den Hoff
2007-08-20 21:13           ` Oliver Bandel
2007-08-21  0:47         ` skaller
2007-08-21  9:51           ` Oliver Bandel
2007-08-21 10:30             ` skaller
2007-08-21 18:57               ` Richard Jones
2007-08-22  2:49                 ` skaller
2007-08-22 11:33                   ` Thomas Fischbacher
2007-08-21 14:46             ` Business Adoption of Ocaml [was Re: [Caml-list] If OCaml were a car] Robert Fischer
2007-08-21 15:09               ` Brian Hurt
2007-08-21 15:48           ` [Caml-list] If OCaml were a car brogoff
2007-08-19 18:15 [caml-list] " Mike Lin

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=28fa90930708212304v50d778e6u442f9f7cf8c1793e@mail.gmail.com \
    --to=luca@dealfaro.org \
    --cc=caml-list@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;
as well as URLs for NNTP newsgroup(s).