Resolution of label and constructor names: the devil in the details

This is a following to the previous post explaining the current discussion around record field and variant constructors disambiguation. This second, more technical blog post will discuss some details of the semantics, and the last one explain some of the philosophical/aesthetic arguments that were used to support either proposal -- which may interest you if you like type system design, and come back in other discussions of OCaml design choices.

next

Using well-disciplined type-propagation to disambiguate label and constructor names

An explanation of the raging discussion that has taken place on the OCaml bugtracker about new ways to resolve record fields and variant constructor names using type information. Read more for a presentation of the different proposals and an explanation of the consensus reached.

next