English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Sorted list
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-08-04 (17:07)
From: Brian Hurt <bhurt@s...>
Subject: Re: [Caml-list] Sorted list

On Sat, 4 Aug 2007, Richard Jones wrote:

> But what's wrong with extlib?  Now I know it's not the "Standard"
> distribution, but that's a mere packaging issue.

Actually, extlib is a wonderfull example of what's wrong with this idea. 
I have grown to have major philosophical differences with extlib- despite 
the fact that I'm one of the major contributors.  For example, I'm much 
more fond of functors at this point (and I understand them better) than I 
did when I first started contributing.  At this point, I also prefer 
purely functional data structures as a default, even at a performance 
penalty- there are damned few places that need to pure speed that 
imperitive data structures give you (there are some, but they're a 
distinct minority)- in the vast majority of places, the performance 
benefits of impertive data structures are vastly outweighed by the 
correctness gaurentees applicative data structures can give you.

Others may disagree (in fact, they do)- that's OK.  I do not want to 
restart the epic arguments that occurred on the extlib list here on the 
main list (please, dear God, no).  My point here is that the Ocaml 
community is much less in agreement on how these core libraries should 
look and act than, say, the C++ or Java communities.  Even if we limit 
ourselves to, say, the Brian Hurts of past and present, the Brian Hurt of 
three years ago would have designed a radically different library than the 
Brian Hurt of a year ago, who in turn would have a different view than the 
Brian Hurt of today (who is learning, and liking, monads).  And God only 
knows what nutzoid radical ideas the Brian Hurt of a year from now, or 
five years from now, will have.