Width Subtyping

To explore this, let's define some simple object types for geometric shapes. The generic type shape has a method to compute the area, and square and circle are specific kinds of shapes:    

type shape = < area : float >

type square = < area : float; width : int >

let square w = object
  method area = Float.of_int (w * w)
  method width = w
end

type circle = < area : float; radius : int >

let circle r = object
  method area = 3.14 *. (Float.of_int r) ** 2.0
  method radius = r
end

A square has a method area just like a shape, and an additional method width. Still, we expect a square to be a shape, and it is. The coercion :> must be explicit:

let shape w : shape = square w ;;
>Characters 22-30:
>Error: This expression has type < area : float; width : int >
>       but an expression was expected of type shape
>       The second object type has no method width
let shape w : shape = (square w :> shape) ;;
>val shape : int -> shape = <fun>

This form of object subtyping is called width subtyping. Width subtyping means that an object type A is a subtype of B, if A has all of the methods of B, and possibly more. A square is a subtype of shape because it implements all of the methods of shape (the area method).

Depth Subtyping

We can also use depth subtyping with objects. Depth subtyping allows us coerce an object if its individual methods could safely be coerced. So an object type < m: t1 > is a subtype of < m: t2 > if t1 is a subtype of t2.   

For example, we can create two objects with a shape method:

let coin = object
  method shape = circle 5
  method color = "silver"
end ;;
>val coin : < color : string; shape : < area : float; radius : int > > = <obj>
let map = object
  method shape = square 10
end ;;
>val map : < shape : < area : float; width : int > > = <obj>

Both these objects have a shape method whose type is a subtype of the shape type, so they can both be coerced into the object type < shape : shape >:

type item = < shape : shape > ;;
>type item = &#60; shape : shape >
let items = [ (coin :> item) ; (map :> item) ] ;;
>val items : item list = [&#60;obj>; &#60;obj>]

type num = [ `Int of int | `Float of float ] ;;
>type num = [ `Float of float | `Int of int ]
type const = [ num | `String of string ] ;;
>type const = [ `Float of float | `Int of int | `String of string ]
let n : num = `Int 3 ;;
>val n : num = `Int 3
let c : const = (n :> const) ;;
>val c : const = `Int 3

Variance

What about types built from object types? If a square is a shape, we expect a square list to be a shape list. OCaml does indeed allow such coercions:  

let squares: square list = [ square 10; square 20 ] ;;
>val squares : square list = [<obj>; <obj>]
let shapes: shape list = (squares :> shape list) ;;
>val shapes : shape list = [<obj>; <obj>]

Note that this relies on lists being immutable. It would not be safe to treat a square array as a shape array because it would allow you to store nonsquare shapes into what should be an array of squares. OCaml recognizes this and does not allow the coercion:

let square_array: square array = [| square 10; square 20 |] ;;
>val square_array : square array = [|<obj>; <obj>|]
let shape_array: shape array = (square_array :> shape array) ;;
>Characters 31-60:
>Error: Type square array is not a subtype of shape array 
>       Type square = < area : float; width : int >
>       is not compatible with type shape = < area : float > 
>       The second object type has no method width

We say that 'a list is covariant (in 'a), while 'a array is invariant.   

Subtyping function types requires a third class of variance. A function with type square -> string cannot be used with type shape -> string because it expects its argument to be a square and would not know what to do with a circle. However, a function with type shape -> stringcan safely be used with type square -> string:

let shape_to_string: shape -> string =
  fun s -> Printf.sprintf "Shape(%F)" s#area ;;
>val shape_to_string : shape -> string = <fun>
let square_to_string: square -> string =
  (shape_to_string :> square -> string) ;;
>val square_to_string : square -> string = <fun>

We say that 'a -> string is contravariant in 'a. In general, function types are contravariant in their arguments and covariant in their results.  

For a more concrete example of variance, let's create some stacks containing shapes by applying our stack function to some squares and some circles:

type 'a stack = < pop: 'a option; push: 'a -> unit >

let square_stack: square stack = stack [square 30; square 10]

let circle_stack: circle stack = stack [circle 20; circle 40]

If we wanted to write a function that took a list of such stacks and found the total area of their shapes, we might try:

let total_area (shape_stacks: shape stack list) =
  let stack_area acc st =
    let rec loop acc =
      match st#pop with
      | Some s -> loop (acc +. s#area)
      | None -> acc
    in
    loop acc
  in
  List.fold ~init:0.0 ~f:stack_area shape_stacks ;;
>val total_area : shape stack list -> float = <fun>

However, when we try to apply this function to our objects, we get an error:

total_area [(square_stack :> shape stack); (circle_stack :> shape stack)] ;;
>Characters 12-41:
>Error: Type square stack = < pop : square option; push : square -> unit >
>       is not a subtype of
>         shape stack = < pop : shape option; push : shape -> unit > 
>       Type shape = < area : float > is not a subtype of
>         square = < area : float; width : int >

As you can see, square stack and circle stack are not subtypes of shape stack. The problem is with the push method. For shape stack, the push method takes an arbitrary shape. So if we could coerce a square stack to a shape stack, then it would be possible to push an arbitrary shape onto square stack, which would be an error.

Another way of looking at this is that < push: 'a -> unit; .. > is contravariant in 'a, so < push: square -> unit; pop: square option > cannot be a subtype of < push: shape -> unit; pop: shape option >.

Still, the total_area function should be fine, in principle. It doesn't call push, so it isn't making that error. To make it work, we need to use a more precise type that indicates we are not going to be using the set method. We define a type readonly_stack and confirm that we can coerce the list of stacks to it:

type 'a readonly_stack = < pop : 'a option > ;;
>type 'a readonly_stack = &#60; pop : 'a option >
let total_area (shape_stacks: shape readonly_stack list) =
  let stack_area acc st =
    let rec loop acc =
      match st#pop with
      | Some s -> loop (acc +. s#area)
      | None -> acc
    in
    loop acc
  in
  List.fold ~init:0.0 ~f:stack_area shape_stacks ;;
>val total_area : shape readonly_stack list -> float = &#60;fun>
total_area [(square_stack :> shape readonly_stack); (circle_stack :>
                                                       shape readonly_stack)] ;;
>- : float = 7280.

Aspects of this section may seem fairly complicated, but it should be pointed out that this typing works, and in the end, the type annotations are fairly minor. In most typed object-oriented languages, these coercions would simply not be possible. For example, in C++, a STL type list<T> is invariant in T, so it is simply not possible to use list<square> where list<shape> is expected (at least safely). The situation is similar in Java, although Java has an escape hatch that allows the program to fall back to dynamic typing. The situation in OCaml is much better: it works, it is statically checked, and the annotations are pretty simple.  

Narrowing

Narrowing, also called down casting, is the ability to coerce an object to one of its subtypes. For example, if we have a list of shapes shape list, we might know (for some reason) what the actual type of each shape is. Perhaps we know that all objects in the list have type square. In this case, narrowing would allow the recasting of the object from type shape to type square. Many languages support narrowing through dynamic type checking. For example, in Java, a coercion (Square) x is allowed if the value x has type Square or one of its subtypes; otherwise the coercion throws an exception.     

Narrowing is not permitted in OCaml. Period.

Why? There are two reasonable explanations, one based on a design principle, and another technical (the technical reason is simple: it is hard to implement).

The design argument is this: narrowing violates abstraction. In fact, with a structural typing system like in OCaml, narrowing would essentially provide the ability to enumerate the methods in an object. To check whether an object obj has some method foo : int, one would attempt a coercion (obj :> < foo : int >).

More pragmatically, narrowing leads to poor object-oriented style. Consider the following Java code, which returns the name of a shape object:

String GetShapeName(Shape s) {
  if (s instanceof Square) {
    return "Square";
  } else if (s instanceof Circle) {
    return "Circle";
  } else {
    return "Other";
  }
}

Most programmers would consider this code to be "wrong." Instead of performing a case analysis on the type of object, it would be better to define a method to return the name of the shape. Instead of calling GetShapeName(s), we should call s.Name() instead.

However, the situation is not always so obvious. The following code checks whether an array of shapes looks like a "barbell," composed of two Circle objects separated by a Line, where the circles have the same radius:

boolean IsBarbell(Shape[] s) {
  return s.length == 3 && (s[0] instanceof Circle) &&
    (s[1] instanceof Line) && (s[2] instanceof Circle) &&
        ((Circle) s[0]).radius() == ((Circle) s[2]).radius();
}

In this case, it is much less clear how to augment the Shape class to support this kind of pattern analysis. It is also not obvious that object-oriented programming is well-suited for this situation. Pattern matching seems like a better fit:

let is_barbell = function
| [Circle r1; Line _; Circle r2] when r1 = r2 -> true
| _ -> false

Regardless, there is a solution if you find yourself in this situation, which is to augment the classes with variants. You can define a method variant that injects the actual object into a variant type:

type shape = < variant : repr; area : float>
and circle = < variant : repr; area : float; radius : int >
and line = < variant : repr; area : float; length : int >
and repr =
 | Circle of circle
 | Line of line;;

let is_barbell = function
| [s1; s2; s3] ->
   (match s1#variant, s2#variant, s3#variant with
    | Circle c1, Line _, Circle c2 when c1#radius = c2#radius -> true
    | _ -> false)
| _ -> false;;

This pattern works, but it has drawbacks. In particular, the recursive type definition should make it clear that this pattern is essentially equivalent to using variants, and that objects do not provide much value here.

Subtyping Versus Row Polymorphism

There is considerable overlap between subtyping and row polymorphism. Both mechanisms allow you to write functions that can be applied to objects of different types. In these cases, row polymorphism is usually preferred over subtyping because it does not require explicit coercions, and it preserves more type information, allowing functions like the following:    

let remove_large l =
  List.filter ~f:(fun s -> Float.(s#area <= 100.)) l ;;
>val remove_large : (&#60; area : float; .. > as 'a) list -> 'a list = &#60;fun>

The return type of this function is built from the open object type of its argument, preserving any additional methods that it may have:

let squares : < area : float; width : int > list =
  [square 5; square 15; square 10] ;;
>val squares : &#60; area : float; width : int > list = [&#60;obj>; &#60;obj>; &#60;obj>]
remove_large squares ;;
>- : &#60; area : float; width : int > list = [&#60;obj>; &#60;obj>]

Writing a similar function with a closed type and applying it using subtyping does not preserve the methods of the argument: the returned object is only known to have an area method:

let remove_large (l: < area : float > list) =
  List.filter ~f:(fun s -> Float.(s#area <= 100.)) l ;;
>val remove_large : &#60; area : float > list -> &#60; area : float > list = &#60;fun>
remove_large (squares :> < area : float > list ) ;;
>- : &#60; area : float > list = [&#60;obj>; &#60;obj>]

However, there are some situations where we cannot use row polymorphism. In particular, row polymorphism cannot be used to place different types of object in the same container. For example, lists of heterogeneous elements cannot be created using row polymorphism:

let hlist: < area: float; ..> list = [square 10; circle 30] ;;
>Characters 49-58:
>Error: This expression has type &#60; area : float; radius : int >
>       but an expression was expected of type &#60; area : float; width : int >
>       The second object type has no method radius

Similarly, we cannot use row polymorphism to store different types of object in the same reference:

let shape_ref: < area: float; ..> ref = ref (square 40) ;;
>val shape_ref : &#60; area : float; width : int > ref =
>  {Base.Ref.contents = &#60;obj>}
shape_ref := circle 20 ;;
>Characters 13-22:
>Error: This expression has type &#60; area : float; radius : int >
>       but an expression was expected of type &#60; area : float; width : int >
>       The second object type has no method radius

In both these cases we must use subtyping: 

let hlist: shape list = [(square 10 :> shape); (circle 30 :> shape)] ;;
>val hlist : shape list = [<obj>; <obj>]
let shape_ref: shape ref = ref (square 40 :> shape) ;;
>val shape_ref : shape ref = {Base.Ref.contents = <obj>}
shape_ref := (circle 20 :> shape) ;;
>- : unit = ()