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 VAA12494; Tue, 18 Nov 2003 21:45:09 +0100 (MET) 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 VAA12800 for ; Tue, 18 Nov 2003 21:45:08 +0100 (MET) Received: from main.gmane.org (main.gmane.org [80.91.224.249]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id hAIKj7103914 for ; Tue, 18 Nov 2003 21:45:07 +0100 (MET) Received: from list by main.gmane.org with local (Exim 3.35 #1 (Debian)) id 1AMCig-0004rO-00 for ; Tue, 18 Nov 2003 21:45:06 +0100 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr Received: from sea.gmane.org ([80.91.224.252]) by main.gmane.org with esmtp (Exim 3.35 #1 (Debian)) id 1AMCif-0004rG-00 for ; Tue, 18 Nov 2003 21:45:05 +0100 Received: from news by sea.gmane.org with local (Exim 3.35 #1 (Debian)) id 1AMCif-0002sx-00 for ; Tue, 18 Nov 2003 21:45:05 +0100 From: Jed Davis Subject: [Caml-list] Re: GC and file descriptors Date: Mon, 17 Nov 2003 20:02:54 -0500 Organization: Chaotic Message-ID: References: <1069092899.17437.58.camel@pelican> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Complaints-To: usenet@sea.gmane.org X-PGP-Key: http://panix.com/~jdev/pubkey.asc http://cs.oberlin.edu/~jldavis/pubkey.asc User-Agent: Gnus/5.1002 (Gnus v5.10.2) Emacs/21.2 (darwin) Cancel-Lock: sha1:GHkJiXYPxfzui7UA8TC1uLzui4s= X-Loop: caml-list@inria.fr X-Spam: no; 0.00; davis:99 ozemail:01 java's:01 downcasting:01 everthing:01 nominal:99 subtyping:01 dynamically:01 downcasting:01 davis:99 903:99 807:99 descriptors:01 writes:01 336:97 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk skaller writes: > On Mon, 2003-11-17 at 06:19, Brian Hurt wrote: >> Of >> course, Java's type system is state of the art- for 1968. > > Err.. since when is downcasting everthing from Object > a type system?? There is a type system. It just doesn't have anything more advanced than nominal[*] subtyping, which is why all the dynamically checked downcasting is needed. [*] As opposed to structural. -- Jed Davis Selling of self: http://panix.com/~jdev/rs/ PGP<-finger A098:903E:9B9A:DEF4:168F:AA09:BF07:807E:F336:59F9 \ "But life wasn't yes-no, on-off. Life was shades of gray, and rainbows /\ not in the order of the spectrum." -- L. E. Modesitt, Jr., _Adiamante_ ------------------- 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