On 3 August 2013 18:13, William ML Leslie <[email protected]> wrote: > I would especially like to have a language that allows me to define > new types of reference that work with the language
Oh, in case I wasn't clear: I mean it'd be nice to be able to define reference types like Vikram's reference types, for instance, on order to write new efficient but type-safe GCs. I guess one of the nice things about having a distinct reference type like that is, your aliasing problem is only whole-program if the safe part of the program allocates from the same heap. But it would be sublime to have a type system that can describe this behaviour. -- William Leslie Notice: Likely much of this email is, by the nature of copyright, covered under copyright law. You absolutely may reproduce any part of it in accordance with the copyright law of the nation you are reading this in. Any attempt to deny you those rights would be illegal without prior contractual agreement. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
