تابعگون (نظریه رسته‌ها) - زبان‌های دیگر