Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread output type
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Alex Baretta <alex@b...>
Subject: Re: [Caml-list] output type
Jacques Carette wrote:
> Alex Baretta <> wrote:
>> Xavier Leroy wrote:
>> > It's a historical error.  [...]
>> Whether fixing such historical errors engenders more benefits than 
>> trouble is a very interesting philosophical question.

> It all depends on whether the installed base is viewed as more/less 
> important as the future integrity of the software system as a whole.  
> When I was in industry, I was in a position where I made the choice that 
> future integrity was more important...

On purely theoretical grounds, I agree with you that working around 
"historical errors" is generally worse than updating the existing code 
base. I wonder if Xavier agrees. I also wonder if there are "border 
constraints" beyond his personal taste on this matter.


Baretta DE&IT
A division of Baretta SRL

tel. +39 02 370 111 55
fax. +39 02 370 111 54

Our technology:

The Application System/Xcaml (AS/Xcaml)

The FreerP Project