
Students Guide to Information
Technology
# Functional programming languages, such as ML and Miranda,
which view programming intentions as mathematical functions.
# Logic programming languages, such as Prolog, based on a
branch of mathematics called predicate logic In these, the
programming intention is expressed as a statement which is to
be proved true.
# Object-oriented languages, such as Eiffel and Smalltalk. In
these, real-world objects such as bank accounts are
self-
contained pieces (modules) of computer code, and computations
are carried out by passing messages between the objects. How
the objects compute the message is of no consequenc ...