From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA00955; Mon, 8 Jul 2002 12:43:01 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA28601 for ; Mon, 8 Jul 2002 12:43:00 +0200 (MET DST) Received: from th00.opsion.fr (th00.opsion.fr [62.39.122.10]) by nez-perce.inria.fr (8.11.1/8.11.1) with SMTP id g68Ah0P11473 for ; Mon, 8 Jul 2002 12:43:00 +0200 (MET DST) Received: from 10.1.1.14 [10.1.1.14] by th00.opsion.fr id 200207081042.3456; Mon, 8 Jul 2002 10:42:52 GMT Send-By: 195.220.121.61 with Mozilla/4.0 (compatible; MSIE 5.0; Windows NT; DigExt) To: cc: Subject: [Caml-list] proposal for library From: "Diego Olivier Fernandez Pons" X-Priority: 3 (normal) MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Date: Mon, 8 Jul 2002 10:42:52 GMT Message-id: <200207081042.3456@th00.opsion.fr> Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Nicolas Carnasse a =E9crit : > I also think it would be nice to have one big polymorphic = data- > structures library ( a la C++ Standard Template Library ) = including=20 > both mutable and non-mutable structures and most of the co= mmon > algorithms - and perhaps some "misc" functions for strings= and > others... Chris Okasaki avait annonc=E9 il y a plusieurs ann=E9es d=E9= j=E0 une version ML de sa librairie Edison actuellement seulement disponible = en version Haskell. Ne voyant toujours pas la version ML venir, j'ai d'abord por= t=E9 quelques modules dont j'avais besoin, puis une partie de la = libraire (essentiellement les s=E9quences). J'avais en t=EAte de poursuivre ce portage pendant les vacan= ces. Je dois cependant vous avertir sur un certain nombre de poin= ts : - la cr=E9ation d'une librairie de structures de donn=E9es n= 'est pas aussi simple que cela pourrait en avoir l'air. J'en tiens pour pre= uve les nombreuses discussions qui ont d=E9j=E0 eu lieu sur cette li= ste. - la structure de la librairie Edison est un choix parmi d'a= utres (tout comme la STL que vous prenez en exemple) est n'est pas n=E9cessairement le meilleur. Richard A. O'Keefe a dit avec = raison dans une discussion sur l'=E9ventuel portage d'Edison vers Mercur= y =AB In short, while we should certainly learn from Okasaki, we shou= ld not imitate him slavishly =BB.=20 - Ce qui vaut pour Edison vaut tout autant pour la STL. Je v= ous renvoie =E0 un article de Peyton Jones (Bulk types with clas= s) En somme votre affirmation =AB Once it'll be complete and sa= fe, I don't think there will be any problem for putting it into the offi= cial distribution =BB n'est pas si =E9vidente et un tr=E8s import= ant travail de r=E9flexion, discussion et concertation doit =EAtre fait au = pr=E9alable. Cela est d'autant plus vrai en Caml que ce dernier propose d= e nombreux paradigmes de programmation (fonctionnelle, imp=E9rative, ob= jets) De surcroit, il faudrait y int=E9grer les nombreuses structu= res de donn=E9es d=E9j=E0 r=E9alis=E9es ind=E9pendamment par d'autr= es (patricia trees, pomap, Splay trees, ...) Pour ne pas finir sur une note n=E9gative, je signale quand = m=EAme que la pr=E9sence d'une telle librairie, m=EAme si elle ne fait pas= l'unanimit=E9 serait interessante d'un point de vue p=E9dagogique : - impl=E9mentation fonctionnelle de structures de donn=E9es = (dans la lign=E9e du portage fait par Mottle des exemples du livre d'= Okasaki) - exemples =E9l=E9mentaires de programmation par objets (qui= font parfois d=E9faut, comme l'ont prouv=E9 certaines discussions sur cet= te liste, sur la liste des d=E9butants ou sur la liste ML) - exemples de m=E9lange fonctionnel / imp=E9ratif et surtout possibilit=E9 de comparer les diff=E9rents paradi= gmes (puisque les fonctionnalit=E9s offertes sont toujours les m=EAmes). C= 'est d'ailleurs dans cette optique l=E0 que j'avais commenc=E9 le= portage d'Edison. Diego Olivier =20 ____________________________________________________________= __________________ ifrance.com, l'email gratuit le plus complet de l'Internet ! vos emails depuis un navigateur, en POP3, sur Minitel, sur l= e WAP... http://www.ifrance.com/_reloc/email.emailif ------------------- 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