From: Vijay S. <vi...@sa...> - 2009-07-06 21:43:00
|
Already sent design in my message of 1:36 pm. David Cunningham wrote: > > > You can obviously write a TaggedUnion (or a Variant) in X10 for any > > given (fixed) set of types. I believe what Vijay was asking was how > > does one write a *generic* TaggedUnion class in X10. > > I don't know of any language supports this, nor can I think of a use > case for it. > > Many languages have a simple construct that defines a type that is a > union of a fixed set of types. Essentially the same as the X10 code I > gave but a lot more concise. We can obviously add such a construct to > the language and use a front-end desugarer pass to expand it out as I > just did manually. > > Not sure it's worth the effort for such a fringe requirement though. > |