Hi!

amazing fun - Smart Pointers discussed while ago, works (note this is just pre-alpha) with branch smart_pointers ;)

Proof of concept ARC objects/Smart Pointers for FPC for my branch smart_pointers (available for r33486 and newer) are ready to discuss and tests. For now without compiler magic to overloading dot operator, but stay tuned :). For ARC objects is planned oxygene syntax (storage modifiers - http://old.elementswiki.com/en/Storage_Modifiers). For now is used generic type TSmartObj<T: TObject>.

Examples for Smart Pointers (SmartPtr.pas) and Smart Objects/ARC objects (SmartObj.pas):
https://github.com/mrmizak/PascalSmartPointers

Compileable with branch smart_pointers:
http://svn.freepascal.org/svn/fpc/branches/maciej/smart_pointers