Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Five Questions about Objects
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: YAMAGATA yoriyuki <yoriyuki@m...>
Subject: Re: [Caml-list] Five Questions about Objects
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
To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: