Programação funcional – Wikipédia a enciclopédia livre

Prévia do material em texto

Programação funcional
Origem: Wikipédia, a enciclopédia livre.
Em ciência da computação, programação funcional é um paradigma de programação que trata a computação
como uma avaliação de funções matemáticas e que evita estados ou dados mutáveis. Ela enfatiza a aplicação de
funções, em contraste da programação imperativa, que enfatiza mudanças no estado do programa .
Uma função, neste sentido, pode ter ou não ter parâmetros e um simples valor de retorno. Os parâmetros são
os valores de entrada da função, e o valor de retorno é o resultado da função. A definição de uma função
descreve como a função será avaliada em termos de outras funções. Por exemplo, a função 
é definida em termos de funções de exponenciação e adição. Do mesmo modo, a linguagem deve oferecer
funções básicas que não requerem definições adicionais.
Linguagens de programação funcionais, especialmente as puramente funcionais, tem sido mais usadas
academicamente que no desenvolvimento comercial de software. Entretanto, algumas linguagens notáveis
usadas na indústria e no comércio incluem Erlang (aplicações concorrentes) , R (estatística), Mathematica
(matemática simbólica) J, K (análise financeira) e XSLT. Importantes influências na programação
funcional foram o cálculo lambda, as linguagens de programação APL e Lisp, e mais recentemente ML,
Haskell, OCaml e F#.
Índice
1 Desenvolvimento
2 Contraste com a programação imperativa
3 Notas e referências
4 Ver também
Desenvolvimento
As funções podem ser manipuladas em uma grande variedade de formas em uma linguagem de programação
funcional. As funções são tratadas como valores de primeira importância, o que é o mesmo que dizer que
funções podem ser parâmetros ou valores de entrada para outras funções e podem ser os valores de retorno ou
saída de uma função. Então podemos entender paradigma funcional como um mapeamento dos valores de
entrada nos valores de retorno, através de funções. Isso permite que funções como mapcar em LISP e map em
Haskell que tomam ambos uma função e uma lista como entrada e aplicam a função de entrada a cada elemento
da lista. Funções podem ser nomeadas, como em outras linguagens, ou definidas anonimamente (algumas vezes
durante a execução do programa) usando uma abstração lambda e usadas como valores em outras funções.
Linguagens funcionais também permitem que funções sejam do tipo curry. Currying é uma técnica para
reescrita de funções com múltiplos parâmetros como a composição de funções de um parâmetro. A função do
tipo curry pode ser aplicada apenas a um subconjunto de seus parâmetros. O resultado é uma função onde os
parâmetros neste subconjunto são agora fixados como constantes, e os valores do resto dos parâmetros ainda
não são especificados. Esta nova função pode ser aplicada aos parâmetros restantes para obter o valor da
função final. Por exemplo, uma função adiciona(x,y) = x + y pode ser do tipo curry de forma que o
valor de retorno adiciona(2) — note que que não há um parâmetro y — será uma função anônima, o que é
[1]
[2]
[3] [4][5]
equivalente à função adiciona2(y) = 2 + y. Esta nova função tem apenas um parâmetro e corresponde a
adicionar 2 a um número. Novamente, isso é apenas possível porque as funções são tratadas como valores de
primeira importância.
O cálculo lambda pode ser considerado a primeira linguagem de programação funcional, embora nunca tenha
sido projetada para ser realmente executada em um computador. É um modelo de computação projetado por
Alonzo Church nos anos 1930 que oferece um modo muito formal de descrever um cálculo de uma função. A
primeira linguagem de programação funcional criada para computadores foi LISP, desenvolvida por John
McCarthy no Instituto de Tecnologia de Massachusetts (MIT) no fim dos anos 1950. Mesmo não sendo uma
linguagem de programação puramente funcional, LISP introduziu a maioria das características hoje encontradas
nas modernas linguagens de programação funcional. Scheme foi uma tentativa posterior de simplificar e
melhorar LISP. Nos anos 1970 a linguagem ML foi criada pela Universidade de Edimburgo, e David Turner
desenvolveu a linguagem Miranda na Universidade de Kent. A linguagem Haskell foi lançada no fim dos anos
1980 em uma tentativa de juntar muitas idéias na pesquisa de programação funcional.
Contraste com a programação imperativa
A programação funcional pode ser contrastada com a programação imperativa. Na programação funcional
parecem faltar diversas construções freqüentemente (embora incorretamente) consideradas essenciais em
linguagens imperativas, como C ou Pascal. Por exemplo, em uma programação estritamente funcional, não há
alocação explícita de memória, nem declaração explícita de variáveis. No entanto, essas operações podem
ocorrer automaticamente quando a função é invocada; a alocação de memória ocorre para criar espaço para os
parâmetros e para o valor de retorno, e a declaração ocorre para copiar os parâmetros dentro deste espaço
recém-alocado e para copiar o valor de retorno de volta para dentro da função que a chama. Ambas as
operações podem ocorrer nos pontos de entrada e na saída da função, então efeitos colaterais no cálculo da
função são eliminados. Ao não permitir efeitos colaterais em funções, a linguagem oferece transparência
referencial. Isso assegura que o resultado da função será o mesmo para um dado conjunto de parâmetros não
importando onde, ou quando, seja avaliada. Transparência referencial facilita muito ambas as tarefas de
comprovar a correção do programa e automaticamente identificar computações independentes para execução
paralela.
Laços, outra construção de programação imperativa, estão presentes através da construção funcional mais geral
de recursividade. Funções recursivas invocam a si mesmas, permitindo que uma operação seja realizada várias
vezes. Na verdade, isso prova que laços são equivalentes a um tipo especial de recursividade chamada
recursividade reversa. Recursividade em programação funcional pode assumir várias formas e é em geral uma
técnica mais poderosa que o uso de laços. Por essa razão, quase todas as linguagens imperativas também a
suportam (sendo Fortran 77 e COBOL exceções notáveis).
Notas e referências
1. ↑ Paul Hudak (setembro de 1989). "Conception, evolution, and application of functional programming
languages (http://www.cs.berkeley.edu/~jcondit/pl-prelim/hudak89functional.pdf) " (pdf). ACM Computing
Surveys.
2. ↑ Who uses Erlang for product development? (http://www.erlang.org/faq/t1.html#AEN50) (em inglês). Página
visitada em 27 de junho de 2006.
3. ↑ Departmento de Matemática Aplicada, Universidade do Colorado. Functional vs. Procedural Programming
Language (http://amath.colorado.edu/computing/mmm/funcproc.html) (em inglês). Página visitada em 28 de
agosto de 2006.
4. ↑ Dimitre Novatchev. The Functional Programming Language XSLT - A proof through examples
(http://www.topxml.com/xsl/articles/fp/) (em inglês). Página visitada em 27 de maio de 2006.
5. ↑ David Mertz. XML Programming Paradigms (part four): Functional Programming approached to XML
processing (http://gnosis.cx/publish/programming/xml_models_fp.html) (em inglês). Página visitada em 27 de
maio de 2006.
Cousineau, Guy and Michel Mauny. The Functional Approach to Programming. Cambridge, UK:
Cambridge University Press, 1998.
Graham, Paul. ANSI Common LISP. Englewood Cliffs, New Jersey: Prentice Hall, 1996.
Hudak, Paul. "Conception, Evolution, and Application of Functional Programming Languages". ACM
Computing Surveys 21, no. 3 (1989): 359-411.
Pratt, Terrence, W. and Marvin V. Zelkowitz. Programming Languages: Design and
Implementation. 3rd ed. Englewood Cliffs, New Jersey: Prentice Hall, 1996.
Salus, Peter H. Functional and Logic Programming Languages. Vol. 4 of Handbook of
Programming Languages. Indianapolis, Indiana: Macmillan Technical Publishing, 1998.
Thompson, Simon. Haskell: The Craft of Functional Programming. Harlow, England: Addison-
Wesley Longman Limited, 1996.
Ver também
Cálculo lambda
Obtida de "http://pt.wikipedia.org/w/index.php?title=Programação_funcional&oldid=28639930"Categorias: Programação funcional Ciência da computação
Menu de navegação
Esta página foi modificada pela última vez à(s) 22h47min de 2 de fevereiro de 2012.
Este texto é disponibilizado nos termos da licença Atribuição-Partilha nos Mesmos Termos 3.0 não
Adaptada (CC BY-SA 3.0); pode estar sujeito a condições adicionais. Consulte as condições de uso
para mais detalhes.