FL (programmeringsspråk)

FL
Paradigm	Funktionsnivå , funktionell
Designad av	; ; John Backus John Williams Edward Wimmers
Dök först upp	1989
Maskinskrivningsdisciplin	Dynamisk
Influerad av
	FP

FL (förkortning för "Function Level") är ett programmeringsspråk skapat vid IBM Almaden Research Center av John Backus , John Williams och Edward Wimmers på 1980-talet och dokumenterat i en rapport från 1989. FL designades som en efterträdare till Backus' tidigare FP-språk , vilket ger specifikt stöd för vad Backus kallade programmering på funktionsnivå .

FL är ett dynamiskt skrivet strikt funktionellt programmeringsspråk med throw and catch exception-semantik ungefär som i ML . Varje funktion har ett implicit historikargument som används för att göra saker som strikt funktionell input/output (I/O), men som också används för att länka till C -kod. För att göra optimering finns det ett typsystem som är en förlängning av Hindley-Milner-typinferens .

Används

PLaSM är en "geometri-orienterad förlängning av en delmängd av FL-språket" som först beskrevs 1992.

externa länkar