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
Estimating the size of the ocaml community
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-02-07 (02:23)
From: skaller <skaller@u...>
Subject: Re: [Caml-list] The boon of static type checking
On Mon, 2005-02-07 at 04:28, Jon wrote:

> You seem to be complaining about poor performance when you know you are 
> using the wrong data structure. Talk about unreasonable expectations. :-)

But this misses the most important advantage of STL,
namely the ability to use multiple data structures
with the same algorithms.

In the first order Ocaml functors do that too,
but in practice they don't seem to work nearly as well.

For higher order problems, both systems seem to
collapse -- C++ from ad hoc behaviour, and Ocaml
from complexity, constraints, and limitations
on expressiveness.

John Skaller, mailto:skaller@users.sf.net
voice: 061-2-9660-0850, 
snail: PO BOX 401 Glebe NSW 2037 Australia
Checkout the Felix programming language http://felix.sf.net