10

Estou estudando um pouco sobre programação funcional e não raro acabo me deparando com pessoas que falam sobre Teoria das Categorias, o que me faz pensar que pode ser algo com certa importância para a programação funcional.

Até onde constatei, parece ser algo do campo da Matemática que eventualmente intercepta a Ciência da Computação. De fato, a Matemática é muito comum na nossa área, portanto isso não me causa estranheza.

Gostaria de ter uma ideia em quais tipos de situação a Teoria das Categorias pode ser relevante para a computação. É realmente relevante para a programação funcional?

8
  • 1
    Por que não seria, @Costamilam? 27/06/2021 às 20:51
  • 3
    @Sam, “ciência da computação em geral” faz parte do escopo do site (veja aqui). 28/06/2021 às 10:13
  • 1
    Não tenho estudo suficiente pra oferecer uma resposta completa, mas acredito que como a programação funcional se originou devido as necessidades dos matemáticos para resolução de problemas, logicamente ela anda bem junto a matemática 28/06/2021 às 14:04
  • 2
    @LuizFelipe. Checa youtu.be/SmXB2K_5lcA?t=324 e youtu.be/I8LbkfSSR58. Podem ser úteis. 29/06/2021 às 20:25
  • 2
    Tem um livro da UFRGS só sobre isso, e parece que é um dos poucos que há sobre o tema: traca.com.br/livro/885610/…
    – epx
    30/06/2021 às 3:54

2 Respostas 2

-4

A teoria da Computação caracteriza-se pelo estudo formal dos processos de computação, suas capacidades e suas limitações, além da relação entre as teorias comportamentais e o uso dos dispositivos automatizados. A teoria da computação torna-se primordial para a ciência na medida em que, através de um sistema equacionado pela lógica, engenharia e matemática, proporciona conceitos para encontrar a essência de uma implementação eficiente e, ainda, serve como base de raciocínio para a compreensão de uma gama de fenômenos computacionais. Foi proposto o estudo de diversas áreas relacionadas à teoria da computação com o intuito de comprovar sua importância no contexto tecnológico. Tais áreas são constituídas por conceitos básicos sobre formalismos, máquinas de Turing, funções recursivas, solucionabilidade de problemas e outros. A partir do estudo desses conceitos, percebeuse a importância dos mesmos no sentido de fornecer suporte ao desenvolvimento de inúmeras aplicações práticas tais como problemas NP, especificação e verificação de programas, análise sintática em compiladores, criptografia, análise de algoritmos (complexidade computacional) e projeto de linguagens de programação de alto nível. (FAPERGS)

here is a book to help you better https://www.amazon.com.br/Teoria-Categorias-Para-Ciencia-Computacao/dp/852410662X

-5

A teoria da computação é um subcampo da ciência da computação e matemática que busca determinar quais problemas podem ser computados em um dado modelo de computação. A computação pode ser definida como a solução de um problema ou, formalmente, o cálculo de uma função por meio de um algoritmo. Apesar de intuitivo na história humana, o conceito de execução de uma tarefa com passos finitos a fim de se obter um resultado, ou seja, um algoritmo, não possuía uma definição formal até a conceituação do modelo de Máquina Universal de Turing.

[...]

Teoria_da_computação - Wikipédia

2
  • 4
    Amigão, leia novamente a pergunta o autor da pergunta escreveu Qual é a relevância da Teoria das Categorias para a Ciência da Computação? ele não perguntou O que é teoria da computação . A teorias das categorias é o que nos permite hoje o Currying de funções e linguagens como Lisp, Haskell, Scala e F# 25/06/2022 às 0:03
  • eu só percebi agora
    – Protoge-M
    25/06/2022 às 0:27

Você deve fazer log-in para responder a esta pergunta.

Esta não é a resposta que você está procurando? Pesquise outras perguntas com a tag .