FL

Proiectat de: John BackusJohn WilliamsEdward Wimmers

FL (scurt pentru „nivel de funcții”) este un limbaj de programare creat la IBM Almaden Research Center de John Backus, John Williams și Edward Wimmers în anii 1980 și documentat într -un raport din 1989.

FL a fost proiectat ca succesor al lui Backus ’ Limbajul FP anterior, oferind suport specific pentru ceea ce Backus a numit programare la nivel de funcții.

FL este un limbaj de programare funcțional strict tastat dinamic, cu semantică de excepție și captură, la fel ca în ML.

Fiecare funcție are un argument de istoric implicit, care este utilizat pentru a face lucruri precum intrare/ieșire strict funcțională (I/O), dar este utilizată și pentru conectarea la codul C.

Pentru a face optimizare, există un sistem de tip care este o extensie a inferenței de tip Hindley-Milner.