On Tue, Feb 24, 2015 at 9:39 AM, Keean Schupke <[email protected]> wrote: > On 24 February 2015 at 14:34, Matt Oliveri <[email protected]> wrote: >> >> You can't just say "it's just a type checking thing" and expect an >> implementation to appear. You need to say how to implement it. Your >> subtyping allows strictly more programs than instantiation of >> arity-abstract types does. You need to make those work. > > Can you give me an example where you think the subtyping admits a type that > arity-abstract types do not? If you believe there is a difference, you > should be able to provide an example.
You mean admits a program? That's very easy. The basic problem with subtyping that it admits coercions: upcast1_1to2 (f : fn 1 a->fn 1 b->c) : fn 2 a->b->c = f This function allocates. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
