Type inference: partial refinement

• Constraint solving can partially refine types: that is, it can replace some, but not necessarily all, type variables with more constrained values

  • ‘a => ‘b list
  • ‘a => ’’b

Previous slide

Next slide

Back to first slide

View graphic version