Group: function

topics > computer science > Group: programming

function definition
function application
primitive functions
curried functions
function call
function cost
higher-order functions and combinators
function results
function syntax by pattern
function syntax definition
function vs. procedure
functional side effects
procedure and type-valued variables

abstraction in programming
abstraction in programming language
function signature
functional programming
notation for operations
procedure valued variables
replacement as a procedure call
return from procedure
variable as function that accesses an object's value


Functions take the place of value in an expression. A function defines the meaning of the operands' values in the function's context. Mathematical functions are a mapping from domain values to range values. This concept is only loosely maintained in most programming languages. (cbb 5/80)
Subtopic: functions as most important up

Quote: the effective use of routines makes modern programming possible; greatest invention in computer science [»mccoS7_1998]
Quote: the language designer should give the greatest attention to procedures and parameters
Quote: procedures and parameters afford all the major advantages of extensible languages, plus space efficiency
Quote: EDSAC promoted use of previously tested, nested subroutines with parameters; seldom used flow diagrams; like structured programming
Quote: the subroutines of any routine may themselves have subroutines; like bigger and lesser fleas

Subtopic: function as abstraction of value or array up

Quote: a routine calculates a function of the state of the machine and stores the result, independent of the majority of the content of the store [»turiA3_1951]
Quote: a parameterized function is an abstraction of an array; with no parameters, abstraction of value [»hehnEC_1977a, OK]
Quote: a function is an abstraction of a value that is instantiated on execution [»hehnEC7_1975]
Quote: every function can be described by the output data items that it uniquely determines [»heniKL1_1980]
Quote: mathematical functions are independent of their implementation and hence simpler than a sequence of operations [»scotD_1970]
Quote: a constant in Russell is any value-producing function of no arguments; must produce constant results [»demeA3_1979]

Subtopic: multiple meanings for function up

Quote: use function notation to indicate a property of an object, a result of a procedure, or a relationship between objects [»fregG_1879]
Quote: use verb, adverb, and conjunction instead of function, one-argument operation, and two-argument operation [»huiRKW8_1991]

Subtopic: function as parameterized rules up

Note: a procedure is a parameterized sequence of rules; assignment and test statements [»cbb_1990, OK]

Subtopic: function as map up

Quote: all functions in a functional programming system map an object into another object
Quote: a form has a value for every system of admissible values of its free variables [»churA_1951]

Subtopic: function as steps up

Quote: a program is a sequence of steps even when represented as a functional form; e.g., nested functions and parameters [»wirtN1_1966]

Subtopic: function as relation up

Quote: an operation is any process which alters the mutual relation of two or more things; applies to all subjects in the universe [»menaLF10_1842, OK]

Subtopic: function as reacting to change up

Quote: functions in Subtext are structures that react to change; changing a subnode changes the result [»edwaJ10_2005]

Subtopic: function vs. argument up

Quote: represent what does not change by a function and represent what changes by the function's arguments [»fregG_1879]
Quote: the distinction between function and argument is arbitrary [»fregG_1879]
Quote: the function of an argument can itself be regarded as an argument; more general than the concept of function in analysis [»fregG_1879]

Subtopic: function object up

Quote: parameterize with function objects; inlined; no code for unused template functions; much faster than function pointers [»stroB12_2004]

Subtopic: function as name up

Quote: a function is a named part of a program that can be invoked as needed [»stroB_1991]

Subtopic: logic as function up

Quote: replace the concepts of subject and predicate with argument and function respectively [»fregG_1879]
Quote: Frege does not use subject/predicate because it is part of the interaction between speaker and listener [»fregG_1879]

Subtopic: module methods up

Quote: each Oberon module includes a table of commands giving name and entry address; called by M.P [»wirtN9_1989]

Group: function up

Topic: function definition (25 items)
Topic: function application (18 items)
Topic: primitive functions (34 items)
Topic: curried functions (14 items)
Topic: function call (28 items)
Topic: function cost (8 items)
Topic: higher-order functions and combinators (19 items)
Topic: function results (7 items)
Topic: function syntax by pattern (15 items)
Topic: function syntax definition (17 items)
Topic: function vs. procedure (9 items)
Topic: functional side effects
(11 items)

Related Topics up

Group: formalism   (9 topics, 478 quotes)
Group: parameters   (10 topics, 145 quotes)
Group: procedure and type-valued variables   (4 topics, 95 quotes)

Topic: abstraction (62 items)
Topic: abstraction in programming (67 items)
Topic: abstraction in programming language (47 items)
Topic: function signature (21 items)
Topic: functional programming (45 items)
Topic: macros (22 items)
Topic: notation for operations (18 items)
Topic: procedure valued variables (34 items)
Topic: replacement as a procedure call (10 items)
Topic: return from procedure (9 items)
Topic: save-restore (4 items)
Topic: variable as function that accesses an object's value
(21 items)

Updated barberCB 6/05
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.