Topic: function definition
Topic: function application
Topic: primitive functions
Topic: curried functions
Topic: function call
Topic: function cost
Topic: higher-order functions and combinators
Topic: function results
Topic: function syntax by pattern
Topic: function syntax definition
Topic: function vs. procedure
Topic: functional side effects
Group: formalism
Group: parameters
Group: procedure and type-valued variables
Topic: abstraction
Topic: abstraction in programming
Topic: abstraction in programming language
Topic: function signature
Topic: functional programming
Topic: macros
Topic: notation for operations
Topic: procedure valued variables
Topic: replacement as a procedure call
Topic: return from procedure
Topic: save-restore
Topic: variable as function that accesses an object's value
| |
Summary
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
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
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
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
Note: a procedure is a parameterized sequence of rules; assignment and test statements [»cbb_1990, OK]
| Subtopic: function as map
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
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
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
Quote: functions in Subtext are structures that react to change; changing a subnode changes the result [»edwaJ10_2005]
| Subtopic: function vs. argument
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
Quote: parameterize with function objects; inlined; no code for unused template functions; much faster than function pointers [»stroB12_2004]
| Subtopic: function as name
Quote: a function is a named part of a program that can be invoked as needed [»stroB_1991]
| Subtopic: logic as function
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
Quote: each Oberon module includes a table of commands giving name and entry address; called by M.P [»wirtN9_1989]
|
Group: function
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
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)
|