Значення
-
Мова програмування високого рівня, створена в Радянському Союзі, яка належить до сімейства функціональних мов і базується на моделі обчислень за допомогою зіставлення зі зразком та перезапису термів.
-
У комп’ютерній лінгвістиці та машинному перекладі — формальна система або алгоритм, що описує правила перетворення структур даних (наприклад, синтаксичних дерев), названа на честь однойменної мови програмування.
Правопис та відмінювання
Граматичні форми:
н. рефал, р. рефала, д. рефалові, з. рефал, о. рефалом, м. рефалі, к. рефале