FP(ID:759/fp:001)

Functional Programming 

Functional Programming. John Backus 1977

Combinator based functional programming  system. Enormously influential paper on the functional programming paradigm, intended as  a wake-up call to programmers


People:
Structures:
Related languages
Church typed-lambda calculus => FP   Implementation
RED => FP   Evolution of
FP => FFP   Evolution of
FP => FL   Successor
FP => FP   Port
FP => IFP   Evolution of
FP => muFP   Evolution of
FP => Sequence FP   Extension of
FP => Squigol   Influence
References:
  • Backus, John "Can programming be liberated from the von Neumann style? A functional style and its algebra of programs" (1977 Turing Award Lecture) view details
          in [ACM] CACM 21(08) (August 1978). view details
  • Bossi, Annalisa; Ghezzi, Carlo "Using FP as a Query Language for Relational Data-Bases" pp25-37 view details
          in Computer Languages 9(1) view details
  • Lima, I.G. "Programming Decentralised Computers" Department of Computing Science, University of Newcastle upon Tyne, 1984 view details External link: Online copy
          in Computer Languages 9(1) view details
  • Takemiya Hiroshi, Nunokawa Hiroshi, Shiratori Norio, Noguchi Syoichi "The Compiling Method of The Functional Language FP for Vector Processing" view details Abstract: The functional language FP is powerful for parallel processing. To carry out vector processing of FP program, we propose to translate the FP program into FORTRAN. This method can generate highly vectorized FORTRAN programs for all combinations of vector processable FP functions. As a result, both programmer and computer can recognize vector processable parts in the program without analyzing data dependence relationship. We executed matrix multiplication program in FP on the supercomputer SX-2N. It excuted nearly 3 times faster than in the sequential mode and its vectorization ratio is 93 percent.


          in IPSJ SIGNotes Programming Language No.025 - 002 view details
    Resources
    • FP by Andy Valencia

      "
    • fpc translates FP programs to C

      "
    • Berkeley FP distributed with 4.2BSD

      "
    • comp.sources.unix
      "
    • FP at CMU AI repository
      external link