افال

اف ال (زبان برنامه نویسی). اف ال (اختصار برای مرتبهٔ تابع) یک زبان برنامه نویسی است ک در سال ۱۹۸۹ توسط جان باکوس، جان ویلیامز و ادوارد ویمرز در مرکز پژوهشی آلمادن آی بی ام ‏(en)‏ ساخته شد.
اف ال به عنوان جانشینی برای زبان اف پی، زبان پیشین باکوس، طراحی شد و پشتیبانی خاصی برای آنچه باکوس برنامه نویسی سطح تابع نامید ارائه می کند.
اف ال یک زبان برنامه نویسی تابعی دقیق با تایپ پویا دارای پرتاب و گرفتن استثنا که از لحاظ معنایی بسیار شبیه ام ال است. هر تابع یک متغیر ضمنی دارد که برای انجام کارهایی مانند ورودی/خروجی تابعی بطور دقیق استفاده می شود ولی برای لینک کردن به کد سی نیز استفاده می شود. برای انجام بهینه سازی یک سیستم تایپ وجود دارد که یک فرمت از Hindley–Milner type inference است.
بسیاری از ایده های مهم خلاقانه زبان در حال حاضر در زبان جی کنت ای آیورسن اجرا شده است.