Archives of the Caml mailing list > Message from Jake Donham

Browse thread

Why can't I call a function over a subclass?

Luca de Alfaro
- Florian Hars
  - Luca de Alfaro
    - Luca de Alfaro
    - Vincent Aravantinos
      - Christophe Raffalli
  - David Teller
    - Zheng Li
      - David Teller
        
        Luca de Alfaro
        
        Luca de Alfaro
        
        Luca de Alfaro
        
        Edgar Friendly
        
        Luca de Alfaro
        
        Martin Jambon
        
        Martin Jambon
        
        Martin Jambon
        
        Zheng Li
        
        Jake Donham
        
        Jacques Garrigue
- Pietro Abate
- Andrej Bauer

Date:	-- (:)
From:	Jake Donham <jake.donham@s...>
Subject:	Re: [Caml-list] Re: Why can't I call a function over a subclass?

Hi Luca,

Others have given good replies already but you may find this article helpful:

  http://skydeck.com/blog/programming/ocaml-for-the-recovering-java-programmer-part-1-objects-and-subtyping/

What it comes down to is that in OCaml subsumption (i.e. the whole
idea of object oriented programming) is accomplished using
polymorphism, not implicit coercion.

Jake