push - زبان‌های دیگر