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 TAA30402; Thu, 7 Aug 2003 19:02:26 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA27298 for ; Thu, 7 Aug 2003 19:02:24 +0200 (MET DST) Received: from mail.speakeasy.net (mail15.speakeasy.net [216.254.0.215]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h77H2Mf15775 for ; Thu, 7 Aug 2003 19:02:23 +0200 (MET DST) Received: (qmail 18265 invoked from network); 7 Aug 2003 17:02:19 -0000 Received: from unknown (HELO grace.speakeasy.org) ([216.254.0.2]) (envelope-sender ) by mail15.speakeasy.net (qmail-ldap-1.03) with DES-CBC3-SHA encrypted SMTP for ; 7 Aug 2003 17:02:19 -0000 Date: Thu, 7 Aug 2003 10:02:19 -0700 (PDT) From: brogoff@speakeasy.net To: james woodyatt cc: The Trade , Ocaml Beginners Subject: Re: [Caml-list] static class member.... In-Reply-To: Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Loop: caml-list@inria.fr X-Spam: no; 0.00; brogoff:01 caml-list:01 g'caml:01 modula-:01 woodyatt:01 beginners:01 functors:01 avoiding:01 variance:01 annotations:01 newbie:01 jhw:01 wetware:01 village:99 bug:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk I think that my issue with the class system is that IMO it doesn't quite fit well with the rest of the language, as a class shares some properties with modules, and some with records, and has a few of it's own, but doesn't permit pattern matching syntax. With a few extensions to records (a new kind of records, dual to polymorphic variants as sum types are to records), modules (first class modules?, mixin modules?), and core ML (yes, I'm still rooting for G'Caml extensions :) that even OOP fans would find it classy sans class. Even without those extensions, I find the core language + modules sufficient to do almost everything nicely, but my pre "ML epiphany" tastes ran towards Modula-2/3 and Ada 95 rather than C++ so I may just be warped... -- Brian On Wed, 6 Aug 2003, james woodyatt wrote: > [please reply to ocaml_beginners@yahoogroups.com] > > On Wednesday, Aug 6, 2003, at 09:12 US/Pacific, on the main Ocaml > mailing list, brogoff@speakeasy.net wrote: > > > > As a side advice to the OP, it would be worthwhile to avoid the OOP > > and just > > get used to the ML part of Caml first. > > I would strongly second this advice. When I came to Ocaml from C++, I > did not heed this advice-- and I wasted a lot of time learning why that > was a mistake. > > In fact, the first piece of advice I would pass along to Java/C++ > programmers who are new to Ocaml is this: > > + Don't use classes unless functors and module inclusion fail to > satisfy your requirements. > > There are many fine ways to obtain the kinds of relationships in the > Ocaml type system that C++ and Java both only use classes to offer. In > Ocaml, the object class and class type semantic is only one of the ways > to skin a particular kind of cat. It's not, in fact, the most > straightforward one either. Until you understand the tradeoffs for > choosing it, I recommend avoiding it. You can do *almost* everything > with 'functor' and 'include' and/or phantom polymorphic variant type > parameters on abstract types with parameter variance annotations. > > That said, the class and class type semantic is an indispensable aspect > of the language, from my point of view. It's just not very easy > explaining why I say that to a newbie. > > > -- > j h woodyatt > that's my village calling... no doubt, they want their idiot back. > > ------------------- > 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 > ------------------- 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