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? > 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? _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
