[PRL] IOP and disjoint unions

[Richard Cobbe]

On Thu, Apr 28, 2005 at 08:37:14PM -0400, William D Clinger wrote:

> Returning to the running example, let's add selection notation
> (e.g. x.f) to the sum type:
> 
> LambdaTerm = (LambdaTerm x LambdaTerm)        // Application
>            + String
>            + double
>            + (String x LambdaTerm)            // Abstraction
>            + (LambdaTerm x LambdaTerm)        // Selection
> 
> Is this really going to save you from writing a lot of code?

I'm sorry, I'm not following.  Is which going to save me writing a lot
of code: adding the record selection form, or the implicit subtyping?

Richard