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 RAA20727; Sat, 20 Jul 2002 17:49:38 +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 RAA20689 for ; Sat, 20 Jul 2002 17:49:37 +0200 (MET DST) Received: from mbg.sphere.ne.jp (mbg.sphere.ne.jp [210.150.254.179]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g6KFnav15740 for ; Sat, 20 Jul 2002 17:49:36 +0200 (MET DST) Received: from localhost (pl1170.nas922.o-tokyo.nttpc.ne.jp [210.165.127.146]) by mbg.sphere.ne.jp (Postfix) with ESMTP id E7CA63A2B7 for ; Sun, 21 Jul 2002 00:49:31 +0900 (JST) To: caml-list@inria.fr Subject: Re: [Caml-list] Five Questions about Objects In-Reply-To: <3D30E4DC.1000108@blue.weeg.uiowa.edu> References: <200207131340.JAA07158@hickory.cc.columbia.edu> <20020714095816B.yoriyuki@mbg.sphere.ne.jp> <3D30E4DC.1000108@blue.weeg.uiowa.edu> X-Mailer: Mew version 1.94.2 on Emacs 20.7 / Mule 4.1 (AOI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <20020721004653S.yoriyuki@mbg.sphere.ne.jp> Date: Sun, 21 Jul 2002 00:46:53 +0900 From: YAMAGATA yoriyuki X-Dispatcher: imput version 991025(IM133) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk From: Brian Smith Subject: Re: [Caml-list] Five Questions about Objects Date: Sat, 13 Jul 2002 21:41:32 -0500 > Also, class types are types, and classes define implicit types, so I Class types are equivalent of module types for classes. They are not types, though class type declaration defines a type with the same name. All your examples (coercion, #-expression) are about types, not classes nor class types. So, classes make a new category of "things" in ocaml. Honestly, I don't like this "ontological bloat". I'm still wondering whether objects, classes and class types can be subsumed to values, types or even modules. -- Yamagata Yoriyuki http://www.mars.sphere.ne.jp/yoriyuki/ ------------------- 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