برنامه‌نویسی تابعی و سیستم‌های مقیاس‌پذیر