On Thu, Jul 3, 2014 at 11:06 AM, Matt Rice <[email protected]> wrote:
> On Thu, Jul 3, 2014 at 9:42 AM, Jonathan S. Shapiro <[email protected]> > wrote: > > > Though it's an interesting question which one should be the default. We > > could try going with "interface" and "voyeurs interface"... > > ambient interface? > Nah. Voyeur. Because if you start down the path of voyeurism, you're likely to get fucked in the end. :-) We now return you to your regularly scheduled PG mailing list. > > I'd actually like to try the story in which guarded interfaces are the > > default, because it will force us to explore the notion and its limits. > > is it presumptuous to assume that "as(guard: T) -> Y" would be one? There's a missing referent in the question. The as() syntax was a throwaway idea, and it particularly doesn't work for downcast, because the possible bindings of Y aren't known. shap
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
