برنامه‌نویسی تابعی و سیستم‌های توزیع‌شده