FP

Proiectat de: John Backus

FP (scurt pentru programare funcțională) este un limbaj de programare creat de John Backus pentru a susține paradigma de programare la nivel de funcție.

Permite construirea de programe dintr -un set de primitive în general utile și evitarea variabilelor numite (un stil numit și programare tacită sau „fără punct”).

Acesta a fost puternic influențat de APL, care a fost dezvoltat de Kenneth E.

Iverson la începutul anilor 1960.

Limbajul FP a fost introdus în lucrarea de premiere Turing din Backus din 1977, „Programarea poate fi eliberată de stilul von Neumann?”, Subtitrat „un stil funcțional și algebra sa de programe “.

Lucrarea a stârnit interesul pentru cercetarea de programare funcțională, ceea ce a dus în cele din urmă la limbaje funcționale moderne, care sunt bazate în mare parte pe paradigma Calculului Lambda, și nu pe paradigma la nivel funcțional pe care o sperase Backus.

În lucrarea sa de premiere Turing, Backus a descris modul în care stilul FP este diferit: un sistem FP se bazează pe utilizarea unui set fix de forme combinate numite forme funcționale.

Acestea, plus definițiile simple, sunt singurul mijloc de a construi noi funcții din cele existente; Nu folosesc nicio variabilă sau reguli de substituții și devin operațiunile unei algebre asociate de programe.

Toate funcțiile unui sistem FP sunt de un singur tip: mizează obiecte pe obiecte și iau întotdeauna un singur argument.

FP în sine nu a găsit niciodată prea multă utilizare în afara academiei.

În anii 1980, Backus a creat un limbaj succesor, FL, care a fost un proiect intern la IBM Research.