Benutzer:Fpstefan/FPr
aus Wikipedia, der freien Enzyklopädie
FPr ist ein Programmiersprachenkonzept, das sich an dem Kombinator-Stil der FP-Systeme orientiert, der von John Backus in der Turing-Award-Lecture vorgeschlagen wurde. In FPr werden konsequent nur Infix-Kombinatoren (dyadische Operatoren) und (monadische) Funktionen unterstützt. Die durchgehende Einhaltung der referentiellen Transparenz ist der Grund, dass es in FPr, wie in den FP-Systemen, keine Variablen gibt.
Anwendungsbeispiele
fakultät == iota \ (1 * 2) & "Definition einer Funktion"
1:(list :: aa bb cc) --> aa 2:(list :: aa bb cc) --> bb tail:(list :: aa bb cc) --> (list :: bb cc) reverse:(string :: 'hallo') --> (string :: 'ollah') (string :: 'hallo') map ucase& --> (string :: 'HALLO')
Weblinks
- Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs Stanford University, 1978 (PDF-Datei; 2,87 MB)
- FPr-Interpreter