Re: [bitc-dev] [SPAM] Re: [SPAM] Re: Bounded Quantification and parametric inference

Wed, 25 Feb 2015 09:48:04 -0800

BitC still has type classes right? Can't you just define an instance for the unboxed union?

Sandro

On 25/02/2015 12:32 PM, Jonathan S. Shapiro wrote:
On Wed, Feb 25, 2015 at 9:26 AM, Sandro Magi <[email protected]> wrote:
Two solutions seem viable:

 1. HList-style heterogenous collections.
 2. Unboxed union types.
 
There are certainly places where those would do it, but those don't address the question of common interface.



_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev





_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to