Functional programming: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Michael T. Richter
m (Corrected spelling.)
imported>Howard C. Berkowitz
(Headings and references; copy edit)
Line 1: Line 1:
{{subpages}}
{{subpages}}
{{TOC|right}}
A '''functional programming''' language is a language modeled after mathematical functions.  Non-functional computer programs allow  state changes.


A functional programming language is a language modeled after mathematical functions.
==First class data types==
Non-functional computer programs allow
state changes.
 
First class data types


Functional programs typically make functions first class data types. This
Functional programs typically make functions first class data types. This
Line 11: Line 9:
allows for the creation of higher order functions(functions of functions).
allows for the creation of higher order functions(functions of functions).


Input/Output
==Input/Output==


In functional programming state is not saved  
In functional programming state is not saved  
outside of function calls due to restrictions on io(input:output calls).
outside of function calls due to restrictions on input/output calls (I/O)
State may not change during a function call. Restricting i/o
State may not change during a function call. Restricting I/O
protects agaist side effects(bad distant changes(i/o) caused by local computation).
protects against side effects, such as bad distant changes I/O caused by local computation .


Single assignment and proofs
==Single assignment and proofs==
   
   
Single assignment makes a computation into a dataflow. Dataflows are easy for
Single assignment makes a computation into a dataflow. Dataflows are easy for
Line 25: Line 23:
Some functional programs can be proved to be equal to each other or
Some functional programs can be proved to be equal to each other or
proved to be stable under certain conditions. Such proofs can aid
proved to be stable under certain conditions. Such proofs can aid
the efforts of software engineers and computer scientists.  
the efforts of software engineers and computer scientists. <ref>{{citation
See (Hutton, 1999) for an example.
| author =  Graham Hutton, 1999
 
| url = http://www.cs.nott.ac.uk/~gmh/fold.pdf  
Ref 1: Graham Hutton, 1999, [http://www.cs.nott.ac.uk/~gmh/fold.pdf]
| title =  A tutorial on the universality and expressiveness of fold
      A tutorial on the universality and expressiveness of fold
  | journal = J. Functional Programming | volume = 9 | issue = 4 | pages =355–372 | date = July 1999}}</ref>
      J. Functional Programming 9 (4): 355–372, July 1999,   
      Cambridge University Press.
 
Some examples of functional programming languages are:
Some examples of functional programming languages are:
[[scheme_programming_language|scheme]],  
*[[scheme_programming_language|Scheme]],  
[[erlang_programming_language|erlang]], (excluding all parallel functions)
*[[erlang_programming_language|Erlang]], (excluding all parallel functions)
[[haskell_programming_language|haskell]].
*[[haskell_programming_language|Haskell]].
   
   
If a functional language is eager then all values are fully computed in the order that they are encountered. In a lazy language like [[haskel]]
If a functional language is eager then all values are fully computed in the order that they are encountered. In a lazy language like Haskell
some arguments are allowed to have delayed evaluation.
some arguments are allowed to have delayed evaluation.
==References==
{{reflist}}

Revision as of 15:18, 25 January 2011

This article is a stub and thus not approved.
Main Article
Discussion
Definition [?]
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

A functional programming language is a language modeled after mathematical functions. Non-functional computer programs allow state changes.

First class data types

Functional programs typically make functions first class data types. This allows functions to be passes as arguments to other functions and allows for the creation of higher order functions(functions of functions).

Input/Output

In functional programming state is not saved outside of function calls due to restrictions on input/output calls (I/O) State may not change during a function call. Restricting I/O protects against side effects, such as bad distant changes I/O caused by local computation .

Single assignment and proofs

Single assignment makes a computation into a dataflow. Dataflows are easy for compilers to understand. When state is fixed, functions can be treated similar to mathematical functions and facts can be proved about such functions. Some functional programs can be proved to be equal to each other or proved to be stable under certain conditions. Such proofs can aid the efforts of software engineers and computer scientists. [1] Some examples of functional programming languages are:

If a functional language is eager then all values are fully computed in the order that they are encountered. In a lazy language like Haskell some arguments are allowed to have delayed evaluation.

References

  1. Graham Hutton, 1999 (July 1999), "A tutorial on the universality and expressiveness of fold", J. Functional Programming 9 (4): 355–372