Perguntas com a marcação «pl.programming-languages»

Eu tenho aprendido alguns pedaços da teoria das categorias. Certamente é uma maneira diferente de ver as coisas. (Resumo muito rudimentar para quem ainda não a viu: a teoria das categorias fornece maneiras de expressar todos os tipos de comportamentos matemáticos apenas em termos de relações funcionais entre objetos. Por …

103 pl.programming-languages  lo.logic  ct.category-theory 

Os matemáticos às vezes se preocupam com o axioma da escolha (CA) e o axioma da determinação (DA). Axiom of Choice : Dado qualquer coleção de conjuntos não vazios, existe uma função f que, dado um conjunto S em C , retorna um membro da S .CC{\cal C}fffSSSCC{\cal C}SSS Axioma …

67 cc.complexity-theory  lo.logic  pl.programming-languages  big-picture  set-theory 

A programação funcional tem uma base teórica no cálculo lambda e na lógica combinatória . Como alguém envolvido com computação estatística, acho esses conceitos muito úteis para modelagem. Existe uma base matemática equivalente de programação imperativa ou ela simplesmente surgiu da aplicação prática de hardware em linguagem de máquina e …

48 imperative-programming  pl.programming-languages 

Em um encadeamento diferente , Andrej Bauer definiu a semântica denotacional como: o significado de um programa é uma função dos significados de suas partes. O que me incomoda nessa definição é que ela não parece destacar o que é comumente considerado como semântica denotacional do que é comumente considerado …

45 pl.programming-languages  big-picture  semantics  denotational-semantics 

Existem benefícios no cálculo da complexidade de tempo de um algoritmo usando o cálculo lambda? Ou existe outro sistema projetado para esse fim? Todas as referências serão apreciadas.

43 lambda-calculus  pl.programming-languages  time-complexity 

A complexidade cada vez maior dos programas de computador e a posição cada vez mais crucial que os computadores têm em nossa sociedade me deixam pensando por que ainda não usamos coletivamente linguagens de programação nas quais você precisa dar uma prova formal de que seu código funciona corretamente. Acredito …

37 reference-request  complexity-classes  computability  pl.programming-languages 

Pergunte até a alguém com experiência em ciência da computação o que é uma expressão regular e é provável que a resposta ultrapasse a restrição de estar ao alcance de um autômato de estado finito. Por exemplo, a "expressão regular" /^1?$|^(11+?)\1+$/ criado pela notável personalidade do Perl, Abigail (e parte …

36 automata-theory  pl.programming-languages  fl.formal-languages  regular-expressions  terminology 

A maioria dos algoritmos conhecidos é de primeira ordem, no sentido de que sua entrada e saída são dados "simples". Alguns são de segunda ordem de uma maneira trivial, por exemplo, classificação, hashtables ou funções map e fold: são parametrizadas por uma função, mas na verdade não fazem nada de …

35 ds.algorithms  functional-programming  ds.data-structures  pl.programming-languages 

Acho que não entendo classes de tipo. Eu li em algum lugar que pensar em classes de tipo como "interfaces" (do OO) implementadas por um tipo é errado e enganoso. O problema é que estou tendo problemas para vê-los como algo diferente e como isso está errado. Por exemplo, se …

33 pl.programming-languages  type-theory  type-systems 

No espírito de algumas discussões gerais como esta , estou abrindo este tópico com a intenção de reunir opiniões sobre quais são os desafios em aberto e os tópicos mais importantes da pesquisa em linguagens de programação . Espero que a discussão possa trazer à tona opiniões sobre o futuro …

32 pl.programming-languages  open-problem  research-practice 

É impossível escrever uma linguagem de programação que permita todas as máquinas que param em todas as entradas e nenhuma outra. No entanto, parece ser fácil definir uma linguagem de programação para qualquer classe de complexidade padrão. Em particular, podemos definir uma linguagem na qual podemos expressar todos os cálculos …

32 cc.complexity-theory  computability  pl.programming-languages 

Eu tenho lido alguns artigos sobre tipos dependentes e contratos de programação. Da maior parte do que li, parece que os contratos são verificados dinamicamente e os tipos dependentes são estaticamente verificados. Houve alguns documentos que me fizeram pensar que é possível ter contratos parcialmente verificados estaticamente: Verificação de tipo …

31 pl.programming-languages  type-theory  program-verification  dependent-type 

Eu tenho lido " Semantics with Applications ", de Nielson & Nielson , e gosto muito do assunto. Eu gostaria de ter mais um livro sobre semântica da linguagem de programação - mas eu realmente posso conseguir apenas um. Dei uma olhada no livro de Turbak / Gifford , mas …

31 reference-request  pl.programming-languages  semantics  denotational-semantics  books 

Existem linguagens de programação (funcionais?) Nas quais todas as funções têm uma forma canônica? Ou seja, quaisquer duas funções que retornam os mesmos valores para todo o conjunto de entradas são representadas da mesma maneira, por exemplo, se f (x) retornou x + 1 eg (x) retornou x + 2, …

29 computability  pl.programming-languages  functional-programming  function 

Sou iniciante trabalhando em métodos que provam equivalência de programa. Li alguns artigos sobre como definir relações lógicas ou simulações para provar que dois programas são equivalentes. Mas estou bastante confuso sobre essas duas técnicas. Só sei que as relações lógicas são definidas indutivamente enquanto as simulações são baseadas na …

29 lo.logic  pl.programming-languages  logical-relations  parametricity