On 29/11/2010 21:13, Steven Schveighoffer wrote:
On Mon, 29 Nov 2010 15:55:10 -0500, Kagamin <s...@here.lot> wrote:

Steven Schveighoffer Wrote:

My favorite in recent times is:

@tail const(C) tailconst;

Tail const is a type constructor, but I don't think that annotations
should evolve that far.

What I liked about that is it is orthogonal to the constancy. That is,
with one annotation you get tail-const, tail-immutable, and tail-shared.


By saying that @tail is a type constructor, do you mean it can be applied to any const/immutable, anywhere they appear? Like, how do you declare a class var to be head-const and tail-immutable? Or an array of tail-const classes?

--
Bruno Medeiros - Software Engineer

Reply via email to