Archives of the Caml mailing list > Message from Ted Kremenek

Browse thread

Class/prototype-based OO

David Baelde
- skaller
  - Ted Kremenek
    - skaller
      - brogoff
    - Gerd Stolpmann
      - Ted Kremenek
      - Ted Kremenek
    - Jacques Garrigue
      - skaller
        
        Jacques Garrigue
        
        skaller

Date:	-- (:)
From:	Ted Kremenek <kremenek@c...>
Subject:	Re: [Caml-list] Class/prototype-based OO

On Aug 29, 2006, at 5:03 AM, Gerd Stolpmann wrote:

> In theory, RTTI is possible in O'Caml. But it is very costly: Object
> types are complex structures and not only names. So any downcast would
> be a very expensive operation (a full type check).

Of course, but this cost would only be incurred during the downcast.   
Thus people who do not need to use the operation will not pay for  
it.  Of course, the RTTI information comes with a space cost.