1. 2
  1. 1

    Theres an alternative to subtyping called Row Polymorphism, I recently went to an interesting presentation about it. Expresso is the language that was used to introduce this to the lambdamtl meetup.