On Wed, Jan 7, 2015 at 4:40 PM, Jonathan S. Shapiro <[email protected]> wrote: > On Thu, Jan 1, 2015 at 1:44 PM, Keean Schupke <[email protected]> wrote: >> >> My understanding is that it is a different type system, so the rules are >> different. Its okay for types to depend on values in a dependant type >> systems. You gain the ability to type these kind of things, but lose >> decidability. > > I agree. > > I claim that the requirement for values to be statically resolvable > constants restores decidability *provided* you are willing to specialize > hard enough.
I think I may be getting confused somewhere. If type classes are required to be statically resolvable constants, doesn't it become impossible to avoid sortBy (at least if you don't force the user to copy arrays before they can sort them in place)? Geoffrey _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
