PROGRAMAÇÃO FUNCIONAL COM HASKELL E LISP

Autores/as

  • Letícia Souza dos Santos Unemat
  • Davi Alves Mares Unemat
  • Janecler Foppa Unemat https://orcid.org/0000-0002-8906-4195
  • Yasmin Conceição de Lima Carvalho Unemat

DOI:

https://doi.org/10.30681/rbegdr.v8i3.14406

Palabras clave:

Programação funcional, linguagens de programação, paradigmas computacionais.

Resumen

Este artigo analisa fundamentos conceituais e filosóficos das linguagens funcionais, com ênfase nas linguagens Lisp e Haskell, a partir do cálculo λ. Investiga elementos que as definem, como pureza funcional, tipagem, transparência referencial, homoiconicidade e estratégias de avaliação. Lisp destaca-se pela flexibilidade e metaprogramação, enquanto Haskell prioriza rigor formal e segurança por meio do sistema de tipos. A problemática central investiga os fundamentos de Haskell e Lisp e suas diferenças no contexto da programação funcional. O objetivo geral é explorar esses fundamentos e como objetivos específicos, compreender o sistema de tipagem e os conceitos que asseguram expressividade e rigor matemático, com abordagem qualitativa e método bibliográfico. Conclui-se que ambas fortalecem o paradigma funcional e contribuem para soluções robustas e expressivas.

Descargas

Los datos de descarga aún no están disponibles.

Biografía del autor/a

  • Letícia Souza dos Santos , Unemat

    Graduanda em Sistemas de Informação pela Unemat Sinop MT

  • Davi Alves Mares, Unemat

    Graduando em Sistemas de Informação pela Unemat Sinop MT

  • Janecler Foppa, Unemat

    Doutorado em Ciências da Educação, Conhecimento e inclusão social -Uso da Mídia Eletrônica como agente de educação, inclusão e recuperação de toxicômanos (2020) UTAD - Portugal reconhecido pela UFMG; Mestre em Administração com linha de pesquisa em Gestão Pública (2013) FEAD Minas Gerais, Brasil; Graduação em Sistemas de Informação (2002) - Faculdades Reunidas de Admin. Ciências Contábeis e Econômicas de Palmas, Paraná; Graduação em Gestão da Segurança e Defesa Cibernética (2022). Graduanda Bacharelado em Ciências Biológicas (2020 - em andamento) - UNINTER; Graduanda em Enfermagem UFMT. (2022 - 2024). Especializações: MBA em Gestão de Negócios (2007); Docência para Ensino Superior (2008); Contabilidade Pública e Responsabilidade Fiscal (2010); Direito Tributário (2013); Redes de Computadores (2013); Assistência Interdisciplinar em Saúde Mental/ Álcool e Outras Drogas (2017); Inovação em Medicamentos da Biodiversidade - Fiocruz (2022). Atua como Fiscal de Tributos na Prefeitura Municipal de Sinop - MT. Professora Universitária nos Cursos de Administração; Análise e Desenvolvimento de Sistemas; Tecnologia em Gestão de Negócios e Inovação, Sistemas de Informação, Licenciatura em Matemática (UNEMAT); Gestão Pública, Engenharia da Computação, Agronomia(FASTECH) e Tecnólogo em Segurança Pública - (ESFAP Polo Sinop MT, Sorriso - MT e Cuiabá MT).

  • Yasmin Conceição de Lima Carvalho , Unemat

    Graduanda em Sistemas de Informação pela Unemat Sinop MT

Referencias

ABELSON, H.; SUSSMAN, G. J. Structure and Interpretation of Computer Programs. 2. ed. Cambridge: MIT Press. 1996. Disponível em: https://mitpress.mit.edu/9780262510875/structure-and-interpretation-of-computer-programs/.

HUDAK, P.; JONES, S. P.; WADLER, P.; HUGHES, J. et al. Report on the Programming Language Haskell: a non-strict, purely functional language. Version 1.0. Yale University. 1990. Disponível em: https://www.mat.uc.pt/~pedro/lectivos/docs/haskell98-report.pdf.

CHURCH, A. An Unsolvable Problem of Elementary Number Theory. American Journal of Mathematics, v.58, n.2, p.345–363. 1936. Disponível em: https://doi.org/10.2307/2371045.

CHURCH, A. The Calculi of Lambda-Conversion. Princeton: Princeton University Press. 1941. Disponível em: https://press.princeton.edu/books/hardcover/9780691079872/the-calculi-of-lambda-conversion.

DUARTE, R. M.; DU BOIS, A. R.; CAVALHEIRO, G. G. H.; PILLA, M. L. (2019). Verificando a interferência do escalonador do Glasgow Haskell Compiler em aplicações usando STM Haskell. Revista de Informática Teórica e Aplicada – RITA, v.26, n.2, p.116–134. 2019. Disponível em: https://seer.ufrgs.br/rita/article/view/94038.

FRIEDMAN, D. P.; FEELEY, M. The Scheme Programming Language. 3. ed. Cambridge: MIT Press. 1996. Disponível em: https://mitpress.mit.edu/9780262258166/the-scheme-programming-language/.

GRAHAM, P. On Lisp: Advanced Techniques for Common Lisp. Englewood Cliffs: Prentice Hall.1993. Disponível em: https://paulgraham.com/onlisp.html.

HUDAK, P.; FASEL, J. H. A gentle introduction to Haskell. ACM SIGPLAN Notices, v. 27, n.5, T-1–T-53. 1992. Disponível em: https://dl.acm.org/doi/10.1145/130697.130698.

HUGHES, J. Why Functional Programming Matters. The Computer Journal, v.32, n.2, 1989/1990. 1989. Disponível em: https://www.cs.kent.ac.uk/people/staff/dat/miranda/whyfp90.pdf.

LAUNCHBURY, J. A Natural Semantics for Lazy Evaluation. In: Proceedings of the 20th ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages (POPL). 1993. Disponível em: https://dl.acm.org/doi/10.1145/158511.158618.

McCARTHY, J. Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I. Communications of the ACM, v.3, n.4, p.184–195. 1960. Disponível em: https://www-formal.stanford.edu/jmc/recursive.pdf.

McCARTHY, J. LISP — Notes on its Past and Future. Stanford University. 1980. Disponível em: https://www-formal.stanford.edu/jmc/lisp20th.pdf.

MOGGI, E. Notions of computation and monads. Information and Computation. 1991. Disponível em: https://www.cs.cmu.edu/~crary/819-f09/Moggi91.pdf.

RIBEIRO, R. G. Classes de tipos com múltiplos parâmetros e opcionais em Haskell (Tese de doutorado). Universidade Federal de Minas Gerais, Instituto de Ciências Exatas, Belo Horizonte, MG, Brasil. 2013. Disponível em: https://repositorio.ufmg.br/handle/1843/ESBF-9GMJLU.

SEBESTA, R. W. Conceitos de Linguagens de Programação. 10. ed. São Paulo: Pearson. 2012. Disponível em: https://www.pearson.com/en-us/subject-catalog/p/conceitos-de-linguagens-de-programacao/P200000009169.

SILVA, R. C. G. Visão categórica do sistema de tipos de Haskell (Trabalho de conclusão de curso). Universidade do Estado de Santa Catarina, Joinville, SC, Brasil. 2017. Disponível em: https://repositorio.udesc.br/handle/11311/1001.

SILVA, R. C. G.; ROGGIA, K. G.; VASCONCELLOS, C. D. Haskell type system analysis: Análise do sistema de tipos de Haskell. Revista de Informática Teórica e Aplicada – RITA, v. 25, n.3, 75–88. 2018. Disponível em: https://seer.ufrgs.br/rita/article/view/79256.

STEELE, G. L. Jr.; SUSSMAN, G. J. The Revised Report on Scheme: A Dialect of Lisp. Cambridge: MIT Artificial Intelligence Laboratory. 1975. Disponível em: https://dspace.mit.edu/handle/1721.1/6094.

Descargas

Publicado

2026-04-06

Número

Vol. 8 Núm. 3 (2026): Edição comemorativa de aniversário

Sección

Artigos

Licencia

Derechos de autor 2026 Revista Brasileira de Estudos de Gestão e Desenvolvimento Regional

Creative Commons License

Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial 4.0.

Esta revista oferece acesso livre imediato ao seu conteúdo, seguindo o princípio de que disponibilizar de forma gratuita, a produção da comunidade científica ao público, proporciona maior democratização do conhecimento. A política é Acesso Aberto.

Adotamos a licença CC Attribution-NonCommercial 4.0, a qual permite o compartilhamento, uso, citação, adaptação, desde que citada fonte e não alterada a licença inicial. O uso da publicação para fins comerciais não é permitido. Dessa maneira não são cobradas nenhum tipo de taxa na revista.

Cómo citar

PROGRAMAÇÃO FUNCIONAL COM HASKELL E LISP. (2026). Revista Brasileira De Estudos De Gestão E Desenvolvimento Regional, 8(3), 1-11. https://doi.org/10.30681/rbegdr.v8i3.14406