In computer science, function-level programming refers to one of the two contrasting programming paradigms identified by John Backus in his work on programs as mathematical objects, the other being value-level programming.
In his 1977 Turing award lecture, Backus set forth what he considered to be the need to switch to a different philosophy in programming language design:
He designed FP to be the first programming language to specifically suppor...
more
In computer science, function-level programming refers to one of the two contrasting programming paradigms identified by John Backus in his work on programs as mathematical objects, the other being value-level programming.
In his 1977 Turing award lecture, Backus set forth what he considered to be the need to switch to a different philosophy in programming language design:
He designed FP to be the first programming language to specifically support the function-level programming style.
A function-level program is variable-free, since program variables, which are essential in value-level definitions, are not needed in function-level ones.
In the function-level style of programming, a program is built directly from programs that are given at the outset, by combining them with program-forming operations or functionals. Thus, in contrast with the value-level approach that applies the given programs to values to form a succession of values culminating in the desired result value, the...
less
