افال (زبان برنامهنویسی)
افال (اختصار برای مرتبهٔ تابع) یک زبان برنامهنویسی است ک در سال ۱۹۸۹ توسط جان باکوس، جان ویلیامز و ادوارد ویمرز در مرکز پژوهشی آلمادن آیبیام (en) ساخته شد.
الگو برنامهنویسی | Function-level، برنامهنویسی تابعی |
---|---|
طراحی شده توسط | جان باکوس John Williams Edward Wimmers |
ظهوریافته در | 1989 |
سیستم انواع | |
متأثر از | |
FP |
افال به عنوان جانشینی برای زبان افپی، زبان پیشین باکوس، طراحی شد و پشتیبانی خاصی برای آنچه باکوس برنامهنویسی سطح تابع نامید ارائه میکند.
افال یک زبان برنامهنویسی تابعی دقیق با تایپ پویا دارای پرتاب و گرفتن استثنا که از لحاظ معنایی بسیار شبیه امال است. هر تابع یک متغیر ضمنی دارد که برای انجام کارهایی مانند ورودی/خروجی تابعی بهطور دقیق استفاده میشود ولی برای لینک کردن به کد سی نیز استفاده میشود. برای انجام بهینهسازی یک سیستم تایپ وجود دارد که یک فرمت از Hindley–Milner type inference است.
بسیاری از ایدههای مهم خلاقانه زبان در حال حاضر در زبان جی کنت ای آیورسن اجرا شدهاست.
منابع
- مشارکتکنندگان ویکیپدیا. «FL (programming language)». در دانشنامهٔ ویکیپدیای انگلیسی، بازبینیشده در ۱۵ دسامبر ۲۰۱۵.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.