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