| | podobné slovo | definícia |
constraint functional programming
(foldoc) | constraint functional programming
(CFP) functional programming plus constraints.
(2002-06-08)
|
functional programming
(foldoc) | functional programming
(FP) A program in a functional language consists
of a set of (possibly recursive) function definitions and
an expression whose value is output as the program's result.
Functional languages are one kind of declarative language.
They are mostly based on the typed lambda-calculus with
constants. There are no side-effects to expression
evaluation so an expression, e.g. a function applied to
certain arguments, will always evaluate to the same value (if
its evaluation terminates). Furthermore, an expression can
always be replaced by its value without changing the overall
result (referential transparency).
The order of evaluation of subexpressions is determined by the
language's evaluation strategy. In a strict
(call-by-value) language this will specify that arguments
are evaluated before applying a function whereas in a
non-strict (call-by-name) language arguments are passed
unevaluated.
Programs written in a functional language are generally
compact and elegant, but have tended, until recently, to run
slowly and require a lot of memory.
Examples of purely functional languages are Clean, FP,
Haskell, Hope, Joy, LML, Miranda, and SML. Many
other languages such as Lisp have a subset which is purely
functional but also contain non-functional constructs.
See also lazy evaluation, reduction.
{Lecture notes
(ftp://ftp.cs.olemiss.edu/pub/tech-reports/umcis-1995-01.ps)}.
or the same {in dvi-format
(ftp://ftp.cs.olemiss.edu/pub/tech-reports/umcis-1995-01.dvi)}.
{FAQ
(http://cs.nott.ac.uk/Department/Staff/gmh/faq.html)}.
{SEL-HPC Article Archive
(http://lpac.ac.uk/SEL-HPC/Articles/)}.
(2003-03-25)
|
functional programming language
(foldoc) | functional programming language
A language that supports and encourages {functional
programming}.
(1995-11-08)
|
illinois functional programming
(foldoc) | Illinois Functional Programming
IFP
(IFP) An interpreter written in portable C by
Arch D. Robison for a variant of Backus's FP with syntax
like ALGOL or Modula-2. IFP Runs under Unix, CTSS
(Cray) and MS-DOS.
Version: 0.5.
(ftp://a.cs.uiuc.edu/pub/ifp). Posted to comp.sources.unix
volume 10.
["The Illinois Functional Programming Interpreter",
A.D. Robison, Proc 1987 SIGPLAN Conf on Interpreters and
Interpretive Techniques (June 1987), pp. 64-73].
["Illinois Functional Programming: A Tutorial", A.D. Robison,
BYTE Feb 1987, pp. 115-125].
(1994-10-24)
|
|