On 22 March 2015 at 03:20, Jonathan S. Shapiro <[email protected]> wrote:
> On Fri, Mar 20, 2015 at 1:23 PM, Matt Oliveri <[email protected]> wrote:Right, > basically we would need some restrictions to prevent ('a-n->B) > >> from arising, where B is a concrete, non-function type. Because that >> type is nonsense. To me this is a symptom of bad type syntax. >> > > Perhaps. But if so, then I think that the bad type syntax lies in the > multi-arrow function type notation. The source of the problem is that the > "length" of the type (the number of arrows) is indeterminate until the > final rightmost type variable is specialized. > I remain unconvinced that this is a problem. -- William Leslie Notice: Likely much of this email is, by the nature of copyright, covered under copyright law. You absolutely MAY reproduce any part of it in accordance with the copyright law of the nation you are reading this in. Any attempt to DENY YOU THOSE RIGHTS would be illegal without prior contractual agreement.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
