FL (programmeringssprog) - FL (programming language)

FL
Paradigme Funktionsniveau , funktionelt
Designet af John Backus
John Williams
Edward Wimmers
Først dukkede op 1989
Skrive disciplin Dynamisk
Påvirket af
FP

FL (forkortelse for "Function Level") er et programmeringssprog oprettet på IBM Almaden Research Center af John Backus , John Williams og Edward Wimmers i 1980'erne og dokumenteret i en rapport fra 1989. FL blev designet som en efterfølger af Backus ' tidligere FP-sprog , der giver specifik support til, hvad Backus kaldte programmeringsniveau på funktionsniveau .

FL er et dynamisk skrevet strengt funktionelt programmeringssprog med smid og fangst undtagelsessemantik ligesom i ML . Hver funktion har et implicit historikargument, der bruges til at gøre ting som strengt funktionel input / output (I / O), men bruges også til at linke til C- kode. Til optimering findes der et typesystem, der er en udvidelse af Hindley – Milner-type inferens .

Anvendelser

PLaSM er en "geometriorienteret udvidelse af en delmængde af FL-sproget", der først blev beskrevet i 1992.

Referencer

eksterne links