تابع حقیقی - زبان‌های دیگر