| slovo | definícia |
functional language
(foldoc) | functional language
A language that supports and encourages {functional
programming}.
(1995-11-08)
|
| | podobné slovo | definícia |
algebraic logic functional language
(foldoc) | Algebraic Logic Functional language
ALF
(ALF) A language by Rudolf Opalla
which combines
functional programming and logic programming techniques.
ALF is based on Horn clause logic with equality which
consists of predicates and Horn clauses for {logic
programming}, and functions and equations for {functional
programming}. Any functional expression can be used in a
goal literal and arbitrary predicates can occur in
conditions of equations. ALF uses narrowing and
rewriting.
ALF includes a compiler to Warren Abstract Machine code and
run-time support.
(ftp://ftp.germany.eu.net/pub/programming/languages/LogicFunctional).
["The Implementation of the Functional-Logic Language ALF",
M. Hanus and A. Schwab].
(1992-10-08)
|
persistent functional language
(foldoc) | Persistent Functional Language
(PFL) A functional database language
developed by Carol Small at Birkbeck College, London, UK and
Alexandra Poulovassilis (now at King's College London).
In PFL, functions are defined equationally and bulk data is
stored using a special class of functions called selectors.
PFL is a lazy language, supports higher-order functions,
has a strong polymorphic type inference system, and allows
new user-defined data types and values. All functions, types
and values persist in a database. Functions can be written
which update all aspects of the database: by adding data to
selectors, by defining new equations, and by introducing new
data types and values.
PFL is "semi-referentially transparent", in the sense that
whilst updates are referentially opaque and are executed
destructively, all evaluation is referentially transparent.
Similarly, type checking is "semi-static" in the sense that
whilst updates are dynamically type checked at run time,
expressions are type checked before they are evaluated and no
type errors can occur during their evaluation.
["{A Functional Approach to Database Updates
(http://web.dcs.bbk.ac.uk/CS/Research/DBPL/papers/INFSYS93.abs.html)}",
C. Small, Information Systems 18(8), 1993, pp. 581-95].
(1995-04-27)
|
pure functional language
(foldoc) | purely functional language
pure functional language
A language that supports only {functional
programming} and does not allow functions to have
side-effects. Program execution consists of evaluation of
an expression and all subexpressions are {referentially
transparent}.
(2003-03-25)
|
purely functional language
(foldoc) | purely functional language
pure functional language
A language that supports only {functional
programming} and does not allow functions to have
side-effects. Program execution consists of evaluation of
an expression and all subexpressions are {referentially
transparent}.
(2003-03-25)
|
|