Version française
Home     About     Download     Resources     Contact us    
Browse thread
typing of a class
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: David Chemouil <David.Chemouil@e...>
Subject: typing of a class

Hi,


I've been using the OO features of Caml these past days, and soon
observed a behavior of the typing system that I don't understand. Here
is a simplified version of my problem:

# class a (arg : a -> b) = object(self)
    val ob = arg self
  end
  and b = object
  end;;

The instance variable self
cannot be accessed from the definition of another instance variable


I don't understand why it is forbidden for an object to pass itself to
another one (which is possible in Java or Eiffel for example). Could
someone explain me? Or is there a paper talking about this?


thanks,

dc


-- 
David Chemouil [mailto:chemouil@enseeiht.fr] [mobile: 06 84 16 26 65]

Laboratoire d'informatique et de mathématiques appliquées (IRIT-INPT)