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. shap
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
