A Practical , Typed Variant Object Model Or , How to Stand On Your Head and Enjoy the View

@inproceedings{Menon2012AP,
  title={A Practical , Typed Variant Object Model Or , How to Stand On Your Head and Enjoy the View},
  author={Pottayil Harisanker Menon and Zachary Palmer and Alexander Rozenshteyn and Scott Smith},
  year={2012}
}
Traditionally, typed objects have been encoded as records; the fields and methods of an object are stored in the fields of a record and projected when needed. While the dual approach of using variants instead of records has been explored, it is more challenging to type: the output type of a variant case match must depend on the input value; this is a form… CONTINUE READING