زبان‌های برنامه‌نویسی تابعی و تضمین کیفیت کد