On 12 February 2015 at 19:10, Keean Schupke <[email protected]> wrote:
> Its not a problem, in the case where you only pass in the function as an > argument, it must be completely applied, so you can infer its complete > (local polymorphic) type from its use. > What makes you think it must be completely applied? The point is that this question has several answers, neither of which are a clear winner. Sometimes you want a curried calling convention, sometimes you don't. And when you've got to combine the two you get the choice again. -- 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
