Tag Info

There are times when it would be helpful to be able to define a data type that would hold a reference to an immutable object, but would behave as an immutable object, rather than a reference, such that code written as:
thing.foo(bar);
would compile as a call to a static method:
classOfThing.do_foo(thing, bar);
where the static method could then handle ...