On Thu, Apr 2, 2015 at 6:37 AM, William ML Leslie < [email protected]> wrote:
> On 3 April 2015 at 00:29, Matt Oliveri <[email protected]> wrote: > >> Yeah, what are we up to? 50 messages a day? >> > > Something like that. In total: > > Current status of currying: 165 > Arity inference at call (application) sites: 293 > Arity, Take N: 154 > > sum: 612 emails > I've been laughing a bit about this too, But it's worth noting that we've accomplished something pragmatically interesting in this discussion. We've examined a number of candidate theories for reconciling application with concrete function arity, and after discussing and abandoning several of them, a number of people starting from several VERY different perspectives have managed to arrive at consensus (ignoring purely lexical distinctions in notation). We have collectively arrived at a reasonable and credible type theory for this problem, and in consequence we've reconciled one of the gaps between the PL camp and the practical programming camp. As much as this thread got a little long, that kind of reconciliation is most of what BitC is for, and this is a good result that we can have a lot of confidence in precisely *because* we converged from such different starting points. shap
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
