بیشتر تابع‌ها فقط باید به یک مقدار نگاه کنند، نه اینکه مالکش شوند. یک ارجاع (reference) به آن‌ها اجازه می‌دهد مقدار را قرض بگیرند و خودکار پس بدهند، و کامپایلر هم تک‌تک قرض‌ها را بررسی می‌کند.