On Fri, Jul 26, 2013 at 12:07 PM, Jonathan S. Shapiro <[email protected]>wrote:
> On Fri, Jul 26, 2013 at 11:33 AM, David Jeske <[email protected]> wrote: > > I see it as a bit of a quantization problem. It's certainly possible to >> have hybrid systems, it's just that there is so much less human effort >> expended building an entire ecosystem of libraries as either a non-GC or >> full-GC system that half-GC is not a stable state for a single language IMO. >> > > I don't agree. I think what you say is likely true if the user has to > hand-annotate all of the references in question. I think it ceases to be > true if the compiler can automatically apply explicit region management and > infer the non-escape of borrowed pointers. I also think that there are > particular use cases for which programmers *will* annotate, but I agree > those are probably rare. > There may be a better way to say that. If inference can use the right pointer type enough of the time, and we only have to hand-annotate a smaller subset, I think that could make a big difference.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
