On Fri, Jun 12, 2015 at 1:27 AM, Matt Oliveri <atma...@gmail.com> wrote: > On Fri, Jun 12, 2015 at 3:25 AM, Matt Rice <ratm...@gmail.com> wrote: >> the paper Towards efficient, typed LR parsers; >> seems to go into some depth here, haven't gotten too far into the >> paper yet though. >> >> http://gallium.inria.fr/~fpottier/publis/fpottier-regis-gianas-typed-lr.pdf > > Thanks, Matt. This is definitely relevant. Unfortunately, it makes it > sound like the off-the-shelf tools kinda suck. Or at least they still > did in 2006.
indeed, I think that the paragraph and its reference [20] section 1.2, about type values, and its introduction of that existential pair type, can be done either explicitly, or implicitly, so it is there whether we can express it in our language or not. its also the first place where capabilities can originate, because before it, you have separate resources... _______________________________________________ bitc-dev mailing list bitc-dev@coyotos.org http://www.coyotos.org/mailman/listinfo/bitc-dev
